IMU: integrated monitoring unit of the SAVE diagnostic system
Steering control for car cornering by means of learning using neural network and genetic algorithm
Prediction of journey characteristics for the intelligent control of hybrid electric vehicle
Proving safety of a railway signalling system incorporating geographic data
Certification of digital systems in commercial avionics applications
Design and planning in the development of safety-critical software with ADA
Functional specification of vital computer software for high-speed maglev systems
Improving software quality in a space application