Testing embedded microprocessors (Space application requirements)
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
Reliability and flexibility of the IRAS on-board software
A highly available microprocessor-based plant controller
Computer architectures for advanced air traffic control applications
Interface design considerations for F-16 sensors and weapons
A new computerized approach to reliability assessment of complex satellite payloads
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Quality measurement of mission critical systems
Methods for evaluating integrated airframe/propulsion control system architectures
Some challenging control problems in ballistic missile defense
Establishing realistic requirements for reliability, maintainability, and built-in-test
Reliability testing of the fault tolerant spacecraft computer (final rept.)