共 50 条
- [1] Component-Based Models for Runtime Control and Monitoring of Embedded Systems PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 31 - 36
- [2] Runtime Verification of Component-Based Embedded Software COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
- [3] Runtime Enforcement for Component-Based Systems 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
- [4] Runtime Verification of Component-Based Systems SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
- [6] Qinna: A component-based framework for runtime safe resource adaptation of embedded systems Scalable Computing, 2009, 10 (03): : 253 - 264
- [7] QINNA: A COMPONENT-BASED FRAMEWORK FOR RUNTIME SAFE RESOURCE ADAPTATION OF EMBEDDED SYSTEMS SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (03): : 253 - 264
- [8] VISCTE: Runtime Exploration of Component-Based Systems PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 91 - 96
- [9] Component-Based Modeling for Embedded Systems 2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
- [10] Component-Based Design of Embedded Systems SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1