A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.

Dominik Domis, Kai Hfig, Mario Trapp

Browse the full ISSRE paper archive.