Login / Signup

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

Charles E. DickersonRosmira RoslanSiyuan Ji
Published in: IEEE Trans. Reliab. (2018)
Keyphrases