共 50 条
- [21] A Formal Framework for Component-Based Embedded Systems [J]. 2010 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM), 2010,
- [22] A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 45 - 64
- [25] Runtime recovery and manipulation of software architecture of component-based systems [J]. Autom Software Eng, 2 (257-281):
- [27] Automatic composition of AADL models for the verification of critical component-based embedded systems [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 269 - 274
- [28] Runtime Component Information on Embedded Component Systems [J]. 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2018), 2018, : 166 - 173
- [29] Towards a specification technique for component-based measurement and control software for embedded systems [J]. PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 74 - 80
- [30] A Component-based Approach to Verification of Embedded Control Systems using TLA+ [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 668 - 674