共 50 条
- [2] Behavioral Types for Component-Based Development of Cyber-Physical Systems SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
- [3] 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 - +
- [4] 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
- [6] Utilizing Intervals in Component-based Design of Cyber Physical Systems 2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2013), 2013, : 635 - 642
- [7] Towards Component-Based Design of Safety-Critical Cyber-Physical Applications 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 254 - 261
- [9] 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
- [10] Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 757 - 764