Author:
Matsikoudis Eleftherios,Lee Edward A.
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Specification and verification of concurrent systems by causality and realizability;Theoretical Computer Science;2023-09
2. Time-Sensitive Software;Research Directions: Cyber-Physical Systems;2023
3. Rigorous design of cyber-physical systems;Software & Systems Modeling;2017-12-14
4. Fundamental Limits of Cyber-Physical Systems Modeling;ACM Transactions on Cyber-Physical Systems;2017-02-21
5. CyPhySim;Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control;2015-04-14