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

3325 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