共 50 条
- [42] 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
- [43] FPGA Accelerator for Battery Management Systems in Safety-Critical Applications 2020 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS FOR SUSTAINABLE ENERGY SYSTEMS (IESES), 2020, : 261 - 266
- [45] Verification Method of Hierarchical for Safety-critical Memory Management Systems Ruan Jian Xue Bao/Journal of Software, 2022, 33 (06): : 2312 - 2330
- [46] 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
- [48] An Aspect-Oriented Approach for Designing Safety-Critical Systems 2013 IEEE AEROSPACE CONFERENCE, 2013,
- [49] Towards a Formal Approach to Analysing Security of Safety-Critical Systems 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189