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
Dependability evaluation of integrated hardware/software systems
Software design for the fault tolerant electrical power system
Decomposition-aggregation techniques for modelling and stability studies of arms race systems
Software-reliability metrics for military systems
A fault tolerant control law system for combat aircraft
Software requirements for railway signalling systems
On fly-by-wire control system and statistical analysis of system performance
Reliability testing of a software-driven system
Fault injection for dependability validation of fault-tolerant computing systems
Future military computers/electronics requirements
Software dependability evaluation in space systems
Quality measurement of mission critical systems
Ultra high reliable spacecraft computer system design considerations