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

Haxthausen, A. E. (Invited speaker)

Activity: Talks and presentationsConference presentations

Description

Invited talk at the Inauguration of RailTech DTU, the Centre for Rail Technology
Period3 Feb 2016
Held atUnknown

Keywords

  • railways