New ticketing system for the London Underground
Methods for evaluating integrated airframe/propulsion control system architectures
Evolution of automatic devices on conjunction with signalling on the SNCF
Advanced surface design for logistics analysis
A practical reliability evaluation of embedded avionic software
Software design for the fault tolerant electrical power system
Decomposition-aggregation techniques for modelling and stability studies of arms race systems
Implementation of ATC systems in developing countries
Introduction to the application of ADA to guidance and control
Automated support systems in military command and control: the problem
Automated maneuvering attack system safety design
Safety of flight issues for an automatic trajectory control system
Telerobotic work system-space robotics application
Reliability and safety analysis of a fault-tolerant controller
Hardware/software FMEA applied to airplane safety
Software system to run the AGP-68 fire control radar error budget analysis on IBM PC-XTs