PROtEUS: An Integrated System for Process Execution in Cyber-Physical Systems-Reference-Cited by-同舟云学术

PROtEUS: An Integrated System for Process Execution in Cyber-Physical Systems

Published:2015 Issue: Volume: Page:265-280
ISSN:1865-1348
Container-title:Enterprise, Business-Process and Information Systems Modeling
language:
Short-container-title:

Author:

Seiger Ronny,Huber Steffen,Schlegel Thomas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-19237-6_17

Reference23 articles.

1. Lee, E.: Cyber physical systems: Design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363–369 (2008)

2. Lecture Notes in Computer Science;M Broy,2012

3. Lecture Notes in Computer Science;A-W Scheer,2000

4. Cao, J., Jarvis, S.A., Saini, S., Nudd, G.R.: Gridflow: Workflow management for grid computing. In: Proceedings of the 3st International Symposium on Cluster Computing and the Grid, CCGRID 2003, pp. 198–205. IEEE Computer Society, Washington, DC (2003)

5. Shi, J., Wan, J., Yan, H., Suo, H.: A survey of cyber-physical systems. In: 2011 International Conference on Wireless Communications and Signal Processing (WCSP), pp. 1–6, November 2011

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

1. Towards Requirements for Self-Healing as a Means of Mitigating Cyber-Intrusions in Medical Devices;2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2022-10-09

2. A Survey of Techniques for Fulfilling the Time-Bound Requirements of Time-Sensitive IoT Applications;ACM Computing Surveys;2022-01-31

3. Modelling and verifying time‐aware processes for cyber‐physical environments;IET Software;2019-02

4. A comprehensive survey on modeling of cyber‐physical systems;Concurrency and Computation: Practice and Experience;2018-10-18

5. Verification of the Consistency of Time-Aware Cyber-Physical Processes;Service-Oriented Computing – ICSOC 2017 Workshops;2018