Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis.

HyeonJeong Kim, W. Eric Wong, Vidroha Debroy, Doo-Hwan Bae

Browse the full APSEC paper archive.