共 50 条
- [33] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
- [35] 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
- [36] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
- [39] On safety-critical computer control systems TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
- [40] Developing safety-critical systems with UML UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372