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
Improving software quality in a space application
Functional specification of vital computer software for high-speed maglev systems
Quality measurement of mission critical systems
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Software validation for a railway signalling system
Building reliable software for spacelab
Design of a man-machine interface for process control on the bridge of a ship
Optimal trajectory control of vehicles in a guided automatic urban taxi system AXAR
Technical and operational results of a flexible mode control system for public transit
Some aspects of practice: Data processing in logistics