Formal Development and Verification of Safe Railway Control Systems

Research output: Contribution to conference › Poster › Research › peer-review

102 Downloads (Orbit)

Original language	English
Publication date	2016
Number of pages	1
Publication status	Published - 2016
Event	Kick Off for Transport DTU - Kgs. Lyngby, Denmark Duration: 1 Jun 2016 → 1 Jun 2016 http://www.transport.dtu.dk/Arrangementer/Transport-DTU-kick-off-1-juni-2016

Other	Kick Off for Transport DTU
Country/Territory	Denmark
City	Kgs. Lyngby
Period	01/06/2016 → 01/06/2016
Internet address	http://www.transport.dtu.dk/Arrangementer/Transport-DTU-kick-off-1-juni-2016

Access to Document

@conference{ed2b6b7e013b4bc7a0bb04a96d1fb2f4,

title = "Formal Development and Verification of Safe Railway Control Systems",

author = "Haxthausen, {Anne Elisabeth}",

year = "2016",

language = "English",

note = "Kick Off for Transport DTU ; Conference date: 01-06-2016 Through 01-06-2016",

url = "http://www.transport.dtu.dk/Arrangementer/Transport-DTU-kick-off-1-juni-2016",

}