共 50 条
- [31] An approach for testing safety-critical software NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
- [34] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
- [35] Multilevel Analysis of Human Performance Models in Safety-Critical Systems DIGITAL HUMAN MODELING, PROCEEDINGS, 2009, 5620 : 375 - +
- [36] Testing Proper Mitigation in Safety-Critical Systems: An Aerospace Launch Application 2015 IEEE AEROSPACE CONFERENCE, 2015,
- [37] An Automatic Test Case Generator for Testing Safety-Critical Software Systems 2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 163 - 167
- [38] Development of a framework for automated systematic testing of safety-critical embedded systems PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
- [40] Analysis of the Performance of Safety-Critical Systems with Diagnosis and Periodic Inspection ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2008 PROCEEDINGS, 2008, : 145 - +