Formal Development and Verification of Safe Railway Control Systems

Anne Elisabeth Haxthausen (Invited author)

Research output: Contribution to conferencePosterResearchpeer-review

102 Downloads (Orbit)
Original languageEnglish
Publication date2016
Number of pages1
Publication statusPublished - 2016
EventKick Off for Transport DTU - Kgs. Lyngby, Denmark
Duration: 1 Jun 20161 Jun 2016
http://www.transport.dtu.dk/Arrangementer/Transport-DTU-kick-off-1-juni-2016

Other

OtherKick Off for Transport DTU
Country/TerritoryDenmark
CityKgs. Lyngby
Period01/06/201601/06/2016
Internet address

Cite this