共 50 条
- [31] On Using Blockchains for Safety-Critical Systems 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36
- [32] Developing safety-critical systems with UML UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372
- [35] On safety-critical computer control systems TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
- [36] SAFETY-CRITICAL SYSTEMS - LEGAL LIABILITY COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 13 - 17
- [37] A distance model for safety-critical systems Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
- [38] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
- [40] Testing Proper Mitigation in Safety-Critical Systems: An Aerospace Launch Application 2015 IEEE AEROSPACE CONFERENCE, 2015,