Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System

Reiner Heilmann, Stefan Rothbauer, Ariane Sutor. Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 100-105, Springer, 2007. [doi]

Authors

Reiner Heilmann

This author has not been identified. Look up 'Reiner Heilmann' in Google

Stefan Rothbauer

This author has not been identified. Look up 'Stefan Rothbauer' in Google

Ariane Sutor

This author has not been identified. Look up 'Ariane Sutor' in Google