Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013

Stefan Gruner (Editor), Anne Elisabeth Haxthausen (Editor), Tom Maibaum (Editor), Markus Roggenbach (Editor)

Research output: Book/ReportReportResearch

2676 Downloads (Pure)
Original languageEnglish
Place of PublicationKgs. Lyngby
PublisherTechnical University of Denmark
Number of pages50
ISBN (Electronic)978-87-643-1303-1
Publication statusPublished - 2013
SeriesDTU Compute-Technical Report-2013
Number20
ISSN1601-2321

Cite this

Gruner, S., Haxthausen, A. E., Maibaum, T., & Roggenbach, M. (Eds.) (2013). Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013. Technical University of Denmark. DTU Compute-Technical Report-2013, No. 20