共 50 条
- [3] Towards a Formal Approach to Analysing Security of Safety-Critical Systems 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
- [4] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems 2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
- [5] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
- [7] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
- [9] A Self-Healing Redundancy Scheme for Mission/Safety-Critical Applications IEEE ACCESS, 2018, 6 : 69640 - 69649