Did you mean:
journal:(computer
Test case generation from formal specifications on the example of train control systems
SATNAB - validation of a satellite based ground navigation system
New display-designs for visualisation of Maglev-transit-operations
Impact of advanced system engineering to the design of modern railway operations control systems
Experimental validation of train control systems by using a railway model
Distributed multi-train simulation using real components
Discrete-event simulation of railway systems with hybrid models
Automated dispatching of train operations using genetic algorithms
A heuristic approach to railway track maintenance scheduling