Automated compositional safety analysis using component fault trees.

Felix Mhrle, Marc Zeller, Kai Hfig, Martin Rothfelder, Peter Liggesmeyer

Browse the full ISSRE paper archive.