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
Communications options ffr computerized traffic control systems
HAL/S - The avionics programming system for shuttle