Introduction to the application of ADA to guidance and control
Software validation for a railway signalling system
Testing embedded microprocessors (Space application requirements)
Automated support systems in military command and control: the problem
Software system to run the AGP-68 fire control radar error budget analysis on IBM PC-XTs
Automated maneuvering attack system safety design
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik