Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh. Safety Analysis of the Height Control System for the Elbtunnel. In Stuart Anderson, Sandro Bologna, Massimo Felici, editors, Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings. Volume 2434 of Lecture Notes in Computer Science, pages 296-308, Springer, 2002. [doi]
Abstract is missing.