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

Hyeonjeong Kim, W. Eric Wong, Vidroha Debroy, DooHwan Bae. Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis. In Jun Han, Tran Dan Thu, editors, 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December 3, 2010. pages 196-205, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.