Software validation for a railway signalling system
Knowledge engineering for a flight management expert system
Introduction to the application of ADA to guidance and control
Performance criteria in large tactical defence communication systems
Development of an autonomous power system testbed
Flight test vertification of the asset system
A simulator for optically sighted, light anti-armour weapons training
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
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
A space station power management system architecture
Computer architectures for advanced air traffic control applications
Safety of flight issues for an automatic trajectory control system
Progress and pitfalls in advanced flight control systems