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
Ultra high reliable spacecraft computer system design considerations
Computers in railyway signalling on London underground
Full cycle corrective action (FCCA) for improved warranty service
Triplex digital fly by wire redundancy management techniques
Entwicklung eines LZB-Streckengeraetes fuer die Erprobung grundsaetzlicher LZB-Funktionen
Nahverkehr und Prozessdatenverarbeitung. Funktionen und Einrichtungen
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
Advanced passenger train speed advisory system based upon microprocessors
Software dependability evaluation in space systems
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
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
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
Computer architectures for advanced air traffic control applications
A new computerized approach to reliability assessment of complex satellite payloads
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
Quality measurement of mission critical systems