Efficient reachability graph development for qualitive analysis of state/event fault trees.

Michael Roth, Agus Hartoyo, Peter Liggesmeyer

Browse the full ISSRE paper archive.