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

Research output: Book/Report › Report › Research

3408 Downloads (Orbit)

Original language	English

Place of Publication	Kgs. Lyngby
Publisher	Technical University of Denmark
Number of pages	50
ISBN (Electronic)	978-87-643-1303-1
Publication status	Published - 2013

Series	DTU Compute Technical Report-2013
Number	20
ISSN	1601-2321

Access to Document

@book{e058a0fec2c14b679172622b555a9d7d,

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

editor = "Stefan Gruner and Haxthausen, \{Anne Elisabeth\} and Tom Maibaum and Markus Roggenbach",

year = "2013",

language = "English",

series = "DTU Compute Technical Report-2013",

publisher = "Technical University of Denmark",

number = "20",

}

TY - RPRT

T1 - Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems

T2 - FM-RAIL-BOK Workshop 2013

A2 - Gruner, Stefan

A2 - Haxthausen, Anne Elisabeth

A2 - Maibaum, Tom

A2 - Roggenbach, Markus

PY - 2013

Y1 - 2013

M3 - Report

T3 - DTU Compute Technical Report-2013

BT - Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems

PB - Technical University of Denmark

CY - Kgs. Lyngby

ER -