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

Authors :: Gruner, Stefan
Haxthausen, Anne Elisabeth
Maibaum, Tom
Roggenbach, Markus
Source :: 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 . DTU Compute-Technical Report-2013, no. 20, Technical University of Denmark, Kgs. Lyngby .
Publication Year :: 2013
Publisher :: Technical University of Denmark, 2013.

Language :: English
Database :: OpenAIRE
Journal :: 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 . DTU Compute-Technical Report-2013, no. 20, Technical University of Denmark, Kgs. Lyngby .
Accession number :: edsair.od......1202..f1d20ec632455ca32c10b6fb396c1a84

Tools