Triplex digital fly by wire redundancy management techniques
The use of microprocessors in automatic train operation
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer
The role of system performance analysis in the independent assessment of B1-navigation software
Testing embedded microprocessors (Space application requirements)
Telerobotic work system-space robotics application
System hardware and software reliability analysis
Support systems for advanced military electronics
Some microcomputer approaches to full engine control
Some challenging control problems in ballistic missile defense
Software validation for a railway signalling system
Software system to run the AGP-68 fire control radar error budget analysis on IBM PC-XTs
Software requirements for railway signalling systems
Software-reliability metrics for military systems
Software design for the fault tolerant electrical power system