ISSE

Search

Formale Sicherheitsanalyse: Eine Anwendungsfallstudie - das Höhenkontrollsystem des Elbtunnels in Hamburg

Frank Ortmeier

Formale Sicherheitsanalyse: Eine Anwendungsfallstudie - das Höhenkontrollsystem des Elbtunnels in Hamburg

published 2005 atp - Automatierungstechnische Praxis 2/2005

Publisher: Oldenbourg Verlag