Optimization of system reliability by branch-and-bound
Reconfigurable modular computer networks for spacecraft onboard processing
Architectural description of a fault-tolerant multiprocessor engineering prototype
A simulation technique in microprogram validation
Hardware/software FMEA applied to airplane safety
A software evaluation: results and recommendations
Evaluating the GPSS simulation model for the Viking batch computer system
Computers in railyway signalling on London underground
Full cycle corrective action (FCCA) for improved warranty service
Ultra high reliable spacecraft computer system design considerations
Triplex digital fly by wire redundancy management techniques
Head-up displays - The integrity of flight information
Implementation of ATC systems in developing countries
Weapons systems analysis, part 3: Warfare gaming, tactics and techniques
Future military computers/electronics requirements
Software dependability evaluation in space systems
Advanced passenger train speed advisory system based upon microprocessors
Solid-State-Interlocking (SSI): an integrated electronic signalling system for mainline railways
Microprocessor-based supervising system of high-speed electric railcars
Architecture optimization of aerospace computing systems
Weapons systems analysis, part 2: Simulation techniques and models
The use of microprocessors in automatic train operation
Introduction to the application of ADA to guidance and control
Evaluation of control mixer concept for reconfiguration of flight control system
Software validation for a railway signalling system
Testing embedded microprocessors (Space application requirements)
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
Automated maneuvering attack system safety design
A new computerized approach to reliability assessment of complex satellite payloads
Computer architectures for advanced air traffic control applications
Reliability and flexibility of the IRAS on-board software
A highly available microprocessor-based plant controller
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Safety of flight issues for an automatic trajectory control system
A multi microprocessor flight control system architectural concepts
Some challenging control problems in ballistic missile defense
Establishing realistic requirements for reliability, maintainability, and built-in-test
Quality measurement of mission critical systems