Reliability testing of the fault tolerant spacecraft computer (final rept.)
A digital computer simulation and study of a direct-energy-transfer power-conditioning system
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