Reihe PhD Theses in Experimental Software Engineering

Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees