A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model (2018)
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