Electromagnetic compatibility of marine computer systems
The application of fault tolerant techniques to a real time system
Building reliable software for spacelab
The two-stage, two-quadrant controller - a PWM rectifier
Software validation for a railway signalling system
A control problem off the beaten path: The (optimal) automatic transmission for road vehicles
Optimization of a plant for separation of natural gas
A new algorithm for state estimator of queue in urban traffic computer control system
Verification of safety related programs for a maglev system
An optimal control of container transportation system
The automatic train control and safety technology of the M-Bahn public transit system
Reliability and safety in electronic interlocking
Leak detection methods for gas pipelines
A disaggregate model of intercity freight transport demand
Maintenance, operation and driving assisting system
Computer controlled urban transportation: A survey of concepts, methods and experiences