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