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

Reiner Heilmann, Stefan Rothbauer, Ariane Sutor

Browse the full SAFECOMP paper archive.