共 50 条
- [41] Component-based software development for embedded systems - An introduction COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 1 - 7
- [42] Component-based software development for embedded systems - An introduction Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3778 LNCS : 1 - 7
- [45] PROJECT MONITORING AND CONTROL IN MODEL-DRIVEN AND COMPONENT-BASED DEVELOPMENT OF EMBEDDED SYSTEMS The CARMA Principle and Preliminary Results ENASE 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, : 253 - 258
- [46] Model-Checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
- [47] Component-Based Design of Software for Embedded Control Systems: the Medical Ventilator Case Study 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 157 - 163
- [49] A Runtime Architecture-Based Approach for the Dynamic Evolution of Distributed Component-Based Systems ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 979 - 982
- [50] Stochastic Contracts for Runtime Checking of Component-based Real-time Systems 2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE), 2015, : 111 - 116