Ludwig Bedau, Tim Gonschorek, Frank Ortmeier: Sicherheitsanalyse eines Bahnhofstellwerkes. Horber Schienen Tage 35 , 2018.

Abstract

BibTeX (Download)

@proceedings{Bedau2018,
title = {Sicherheitsanalyse eines Bahnhofstellwerkes},
author = {Ludwig Bedau and Tim Gonschorek and Frank Ortmeier},
editor = {Andreas Brock and Christina Brock and Rudolf Barth},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2018/02/BedauEtAl_HST17.pdf},
year  = {2018},
date = {2018-02-28},
volume = {35},
organization = {Horber Schienen Tage},
keywords = {model based verification, Railway System Verification},
pubstate = {published},
tppubtype = {proceedings}
}