共 50 条
- [2] Behavioral Types for Component-Based Development of Cyber-Physical Systems SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
- [3] Design Tool Chain for Cyber-Physical Systems: Lessons Learned 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
- [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
- [7] 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
- [8] Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project 2016 2ND INTERNATIONAL WORKSHOP ON MODELLING, ANALYSIS, AND CONTROL OF COMPLEX CPS (CPS DATA), 2016,
- [9] Towards Component-Based Design of Safety-Critical Cyber-Physical Applications 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 254 - 261