Reliability testing of the fault tolerant spacecraft computer (final rept.)
Proc. of The Reliability Engng. Conf. For The Electr. Power Ind., New York, 21 February 1974
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
Testing embedded microprocessors (Space application requirements)
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer