Formal Development and Verification of Safe Railway Control Systems

Research output: Contribution to conferencePosterResearchpeer-review

89 Downloads (Pure)
Original languageEnglish
Publication date2013
Number of pages1
Publication statusPublished - 2013
EventDanish Railway Conference 2013 - Copenhagen, Denmark
Duration: 21 May 2013 → …
http://www.banekonference.dk/

Conference

ConferenceDanish Railway Conference 2013
CountryDenmark
CityCopenhagen
Period21/05/2013 → …
Internet address

Cite this