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

Research output: Book/ReportReport – Annual report year: 2013Research

Documents

View graph of relations

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

Download statistics

No data available

ID: 60088070