共 50 条
- [32] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
- [34] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
- [35] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE 2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
- [37] Integrated formal verification of safety-critical software International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
- [38] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
- [39] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
- [40] 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