Formal Development and Verification of Safe Railway Control Systems

Research output: Contribution to conferencePosterResearch

34 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, Lyngby, Denmark
Duration: 31 May 201731 May 2017

Conference

ConferenceTransport Summer Summit DTU 2017
LocationDTU
CountryDenmark
CityLyngby
Period31/05/201731/05/2017

Cite this

Haxthausen, A. E. (2017). Formal Development and Verification of Safe Railway Control Systems. Poster session presented at Transport Summer Summit DTU 2017, Lyngby, Denmark.