共 50 条
- [23] SAFETY-CRITICAL SYSTEMS - INTRODUCTION COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
- [25] 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
- [26] A Practical Approach towards Validating HIL Simulation of a Safety-critical System 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 40 - 43
- [28] An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems 2017 2ND INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS), 2017, : 405 - 413
- [29] Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk) PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 1 - 2
- [30] An Aspect-Oriented Approach for Designing Safety-Critical Systems 2013 IEEE AEROSPACE CONFERENCE, 2013,