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
Hardware/software FMEA applied to airplane safety
A software evaluation: results and recommendations
A simulation technique in microprogram validation
Ultra high reliable spacecraft computer system design considerations
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
Triplex digital fly by wire redundancy management techniques
Head-up displays - The integrity of flight information
Software dependability evaluation in space systems
Implementation of ATC systems in developing countries
Weapons systems analysis, part 3: Warfare gaming, tactics and techniques
Solid-State-Interlocking (SSI): an integrated electronic signalling system for mainline railways
Advanced passenger train speed advisory system based upon microprocessors
Future military computers/electronics requirements
Architecture optimization of aerospace computing systems
Weapons systems analysis, part 2: Simulation techniques and models
The use of microprocessors in automatic train operation
Automated maneuvering attack system safety design
Microprocessor-based supervising system of high-speed electric railcars
Introduction to the application of ADA to guidance and control
Evaluation of control mixer concept for reconfiguration of flight control 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
Safety of flight issues for an automatic trajectory control system
A multi microprocessor flight control system architectural concepts
Testing embedded microprocessors (Space application requirements)
A highly available microprocessor-based plant controller
Software validation for a railway signalling system
Computer architectures for advanced air traffic control applications
A new computerized approach to reliability assessment of complex satellite payloads
Quality measurement of mission critical systems
Methods for evaluating integrated airframe/propulsion control system architectures
Interface design considerations for F-16 sensors and weapons
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Some challenging control problems in ballistic missile defense