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
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
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
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
Testing embedded microprocessors (Space application requirements)
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
A highly available microprocessor-based plant controller
Reliability and flexibility of the IRAS on-board software
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Safety of flight issues for an automatic trajectory control system