Formel Modellering og Verifikation af Jernbanekontrolsystemer: Et eksempel fra RobustRailS WP 4.1

Haxthausen, A. E. (Invited speaker)

Department of Applied Mathematics and Computer Science

Activity: Talks and presentations › Conference presentations

Description

Invited talk at the Inauguration of RailTech DTU, the Centre for Rail Technology

Period	3 Feb 2016
Held at	Unknown

Keywords

railways