共 50 条
- [21] Model-Based Validation of Safety-Critical Embedded Systems [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
- [24] An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems [J]. Real-Time Systems, 2003, 25 : 5 - 37
- [26] Reliability demonstration testing method for safety-critical embedded applications software [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 481 - 487
- [29] Short Paper: EMFI for Safety-Critical Testing of Automotive Systems [J]. 2021 WORKSHOP ON FAULT DETECTION AND TOLERANCE IN CRYPTOGRAPHY (FDTC 2021), 2021, : 61 - 66
- [30] Dependability validation, evaluation and testing of safety-critical aerospace systems [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 267 - 271