共 50 条
- [1] Behavioral Types for Component-Based Development of Cyber-Physical Systems SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
- [2] Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture 5TH CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL 2021), 2021, : 348 - 353
- [3] 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] Intelligent Transportation Cyber-physical Cloud Control Systems Zidonghua Xuebao/Acta Automatica Sinica, 2019, 45 (01): : 132 - 142
- [6] Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 757 - 764
- [8] 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
- [9] Component-based Timing Analysis for Embedded Software Components in Cyber-Physical Systems 2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, : 173 - 180
- [10] OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 235 - +