共 50 条
- [37] Software safety analysis of the Space Shuttle Main Engine (SSME) control software PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4, 1998, : 1313 - 1318
- [38] Software Production Process for Safety Critical Software JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2008, 5 (03): : 72 - 83
- [40] Efficient Safety Analysis of Automotive Software Systems SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 258 - 270