Building reliable software for spacelab
Software validation for a railway signalling system
Optimal trajectory control of vehicles in a guided automatic urban taxi system AXAR
Design of a man-machine interface for process control on the bridge of a ship
Technical and operational results of a flexible mode control system for public transit
Some aspects of practice: Data processing in logistics
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Quality measurement of mission critical systems
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Improving software quality in a space application
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
IMU: integrated monitoring unit of the SAVE diagnostic system
Steering control for car cornering by means of learning using neural network and genetic algorithm