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

First Author: Dickerson C
Attributed to:  Theme 1 - Analysis of the Vehicle as a Complex System funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/tr.2018.2849013

Publication URI: http://dx.doi.org/10.1109/tr.2018.2849013

Type: Journal Article/Review

Parent Publication: IEEE Transactions on Reliability

Issue: 3

ISSN: 00189529