Safety Analysis of the Height Control System for the Elbtunnel.

Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh

Browse the full SAFECOMP paper archive.