共 50 条
- [33] Criteria for software tools evaluation in the development of safety-critical real-time systems PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2364 - 2370
- [38] SAFETY-CRITICAL SYSTEMS - INTRODUCTION COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5