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