Component-Based Abstraction in Fault Tree Analysis.

Dominik Domis, Mario Trapp

Browse the full SAFECOMP paper archive.