共 50 条
- [1] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime [J]. 2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148
- [2] Runtime Verification of Component-Based Embedded Software [J]. COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
- [3] Runtime Enforcement for Component-Based Systems [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
- [4] Runtime Verification of Component-Based Systems [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
- [6] QINNA: A COMPONENT-BASED FRAMEWORK FOR RUNTIME SAFE RESOURCE ADAPTATION OF EMBEDDED SYSTEMS [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (03): : 253 - 264
- [7] VISCTE: Runtime Exploration of Component-Based Systems [J]. PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 91 - 96
- [8] Component-Based Modeling for Embedded Systems [J]. 2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
- [9] Component-Based Design of Embedded Systems [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
- [10] A Model for the Measurement of the Runtime Testability of Component-based Systems [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 19 - 28