Formal Development and Verification of Safe Railway Control Systems

Research output: Contribution to conferencePosterResearch

97 Downloads (Pure)
Original languageEnglish
Publication date2017
Publication statusPublished - 2017
EventTransport Summer Summit DTU 2017: Challenges, research and new developments within transportation, mobility and sustainability - DTU, Kgs. Lyngby, Denmark
Duration: 31 May 201731 May 2017

Conference

ConferenceTransport Summer Summit DTU 2017
LocationDTU
Country/TerritoryDenmark
CityKgs. Lyngby
Period31/05/201731/05/2017

Cite this