State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems

Bernhard Kaiser, C. Gramlich. State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. In Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann, editors, Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Volume 3219 of Lecture Notes in Computer Science, pages 195-209, Springer, 2004. [doi]

Abstract

Abstract is missing.