A multi microprocessor flight control system architectural concepts
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
Software validation for a railway signalling system
Automated support systems in military command and control: the problem
Software system to run the AGP-68 fire control radar error budget analysis on IBM PC-XTs
Computer architectures for advanced air traffic control applications
Quality measurement of mission critical systems
Methods for evaluating integrated airframe/propulsion control system architectures
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
A new computerized approach to reliability assessment of complex satellite payloads
A measure of reliability for classification of Earth satellite data
Interface design considerations for F-16 sensors and weapons
Some challenging control problems in ballistic missile defense
Establishing realistic requirements for reliability, maintainability, and built-in-test