Reliability testing of the fault tolerant spacecraft computer (final rept.)
A digital computer simulation and study of a direct-energy-transfer power-conditioning system
Optimization of system reliability by branch-and-bound
Evaluating the GPSS simulation model for the Viking batch computer system
Computer architectures for advanced air traffic control applications
A simulation technique in microprogram validation
Entwicklung eines LZB-Streckengeraetes fuer die Erprobung grundsaetzlicher LZB-Funktionen
Testing embedded microprocessors (Space application requirements)
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer
Communications options ffr computerized traffic control systems
HAL/S - The avionics programming system for shuttle
Cockpit-Terminal-Entwurf fuer Flugfuehrungssystem TKF
Support systems for advanced military electronics
Reconfigurable modular computer networks for spacecraft onboard processing
Architectural description of a fault-tolerant multiprocessor engineering prototype
Nahverkehr und Prozessdatenverarbeitung. Funktionen und Einrichtungen
Triplex digital fly by wire redundancy management techniques
Advanced passenger train speed advisory system based upon microprocessors