共 50 条
- [1] Behavioral Types for Component-Based Development of Cyber-Physical Systems SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
- [2] On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 23 - 32
- [5] Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems Software & Systems Modeling, 2016, 15 : 5 - 16
- [6] Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 5 - 16
- [7] Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 757 - 764
- [9] A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems 2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 49 - 58
- [10] Component-based software engineering for embedded systems ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 712 - 713