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
Testing embedded microprocessors (Space application requirements)
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer