Acumen: An Open-Source Testbed for Cyber-Physical Systems Research-Reference-Cited by-同舟云学术

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Published:2016 Issue: Volume: Page:118-130
ISSN:1867-8211
Container-title:Internet of Things. IoT Infrastructures
language:
Short-container-title:

Author:

Taha Walid,Duracz Adam,Zeng Yingfu,Atkinson Kevin,Bartha Ferenc A.,Brauner Paul,Duracz Jan,Xu Fei,Cartwright Robert,Konečný Michal,Moggi Eugenio,Masood Jawad,Andreasson Pererik,Inoue Jun,Sant’Anna Anita,Philippsen Roland,Chapoutot Alexandre,O’Malley Marcia,Ames Aaron,Gaspes Veronica,Hvatum Lise,Mehta Shyam,Eriksson Henrik,Grante Christian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47063-4_11

Reference24 articles.

1. The jPCT web page. http://www.jpct.net. Accessed 10 Aug 2015

2. Lecture Notes in Computer Science;R Alur,2000

3. Arbor, A.: CarSim reference manual, ver. 6.03 (2005)

4. Modelica Association et al.: Modelica-a unified object-oriented language for physical systems modeling. Language Specification, Version, 2 (2005)

5. Beck, K., Beedle, M., Van Bennekum, A., Cockburn, A., Cunningham, W., Fowler, M., Grenning, J., Highsmith, J., Hunt, A., Jeffries, R., et al.: Manifesto for agile software development (2001)

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Review of Authentication Schemes in Internet of Things;Communications in Computer and Information Science;2024

2. On the applicability of hybrid systems safety verification tools from the automotive perspective;International Journal on Software Tools for Technology Transfer;2023-06-30

3. Lie symmetries applied to interval integration;Automatica;2022-10

4. Proving Feasibility of a Docking Mission: A Contractor Programming Approach;Mathematics;2022-04-01

5. Interval centred form for proving stability of non-linear discrete-time systems;Electronic Proceedings in Theoretical Computer Science;2021-01-11