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
Entwicklung eines LZB-Streckengeraetes fuer die Erprobung grundsaetzlicher LZB-Funktionen
Triplex digital fly by wire redundancy management techniques
Nahverkehr und Prozessdatenverarbeitung. Funktionen und Einrichtungen
Software dependability evaluation in space systems
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
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
Automated maneuvering attack system safety design
Weapons systems analysis, part 2: Simulation techniques and models
The use of microprocessors in automatic train operation
Microprocessor-based supervising system of high-speed electric railcars
Introduction to the application of ADA to guidance and control
Safety of flight issues for an automatic trajectory control system
A multi microprocessor flight control system architectural concepts
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
Testing embedded microprocessors (Space application requirements)
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
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