Standard

Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems : FM-RAIL-BOK Workshop 2013. / Gruner, Stefan (Editor); Haxthausen, Anne Elisabeth (Editor); Maibaum, Tom (Editor); Roggenbach, Markus (Editor).

Kgs. Lyngby : Technical University of Denmark, 2013. 50 p. (DTU Compute-Technical Report-2013; No. 20).

Publication: ResearchReport – Annual report year: 2013

Harvard

Gruner, S, Haxthausen, AE, 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, Kgs. Lyngby. DTU Compute-Technical Report-2013, no. 20

APA

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. Kgs. Lyngby: Technical University of Denmark. (DTU Compute-Technical Report-2013; No. 20).

CBE

Gruner S, Haxthausen AE, Maibaum T, Roggenbach M, ed. 2013. Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013. Kgs. Lyngby: Technical University of Denmark. 50 p. (DTU Compute-Technical Report-2013; No. 20).

MLA

Gruner, Stefan et al. Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013 Kgs. Lyngby: Technical University of Denmark. 2013. (DTU Compute-Technical Report-2013; Journal number 20).

Vancouver

Gruner S, (ed.), Haxthausen AE, (ed.), Maibaum T, (ed.), Roggenbach M, (ed.). Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013. Kgs. Lyngby: Technical University of Denmark, 2013. 50 p. (DTU Compute-Technical Report-2013; No. 20).

Author

Gruner, Stefan (Editor); Haxthausen, Anne Elisabeth (Editor); Maibaum, Tom (Editor); Roggenbach, Markus (Editor) / Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems : FM-RAIL-BOK Workshop 2013.

Kgs. Lyngby : Technical University of Denmark, 2013. 50 p. (DTU Compute-Technical Report-2013; No. 20).

Publication: ResearchReport – Annual report year: 2013

Bibtex

@book{e058a0fec2c14b679172622b555a9d7d,
title = "Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013",
author = "Stefan Gruner and Haxthausen, {Anne Elisabeth} and Tom Maibaum and Markus Roggenbach",
year = "2013",
publisher = "Technical University of Denmark",

}

RIS

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

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

PB - Technical University of Denmark

ER -