共 50 条
- [31] SAFETY-CRITICAL SYSTEMS - LEGAL LIABILITY COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 13 - 17
- [33] A distance model for safety-critical systems Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
- [35] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60