ISSE

Search

Formal Safety Analysis in Transportation Control

Andreas Thums, Gerhard Schellhorn

Formal Safety Analysis in Transportation Control

published 2002 in: Braunschweig, Germany Proceedings of the Workshop on Software specification for safety relevant transportation control tasks


Downloads: