12. Oktober 2014

In Braunschweig fand das 10. internationalen Symposium FORMS/FORMAT über formale Methoden für Automatisierung und Sicherheit im Eisenbahnverkehr statt. Als ausgewälter Vortrag wurde am 30. September 2014 der Einsatz von Simulatoren für die Untersuchung von komplexen Problemstellungen im DESM-Labor vorgestellt. Das Thema ist bei vielen Fachleuten auf Interesse gestossen, was in Gesprächen vertieft werden konnte.

>>> Präsentation DESM (englisch) >>> Publikation DESM (englisch)