Support for Operativ Train Scheduling Using Algorithm Optimisation
Auswahl der Funktionen eines Sicherungssystems fur dessen Sicherheitsanalyse
Petrinet-Based Specification of Safety Relevant Train Control Systems
Experimental validation of train control systems by using a railway model
A Railway Demonstrator for experimental Validation of formal Specifications