ISSE

Search

Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung

W. Reif, G. Schellhorn, and A. Thums

Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung

published November 2000 Fortschritt-Berichte VDI, Reihe 12Forms 2000 -- Formale Techniken für die Eisenbahnsicherung