共 50 条
- [33] On safety-critical computer control systems TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
- [34] Developing safety-critical systems with UML UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372
- [35] 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
- [39] 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,