A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

Charles E. Dickerson, Rosmira Roslan, Siyuan Ji. A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model. IEEE Transactions on Reliability, 67(3):1219-1236, 2018. [doi]

Abstract

Abstract is missing.