共 50 条
- [31] How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems? 2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE), 2018, : 57 - 60
- [32] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE 2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
- [34] Integrated formal verification of safety-critical software International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
- [36] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
- [37] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
- [38] Prediction of Undetected Faults in Safety-Critical Software 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 296 - 304
- [39] Fault mitigation in safety-critical software systems NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17