Formal Development and Verification of Safe Railway Control Systems

Anne Elisabeth Haxthausen, Linh Vu Hong

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

113 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
Country/TerritoryDenmark
CityCopenhagen
Period21/05/2013 → …
Internet address

Access to Document

OpenUrl availability

Full text

    Cite this