共 50 条
- [31] An approach for testing safety-critical software NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
- [35] Timing tolerances in safety-critical software FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
- [38] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
- [39] Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 : 27 - 41
- [40] Fault Tolerant Smart Transducer Interfaces for Safety-Critical Avionics Applications 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,