A formal transformation method for automated fault tree generation from a UML activity model

CE Dickerson, R Roslan, S Ji - IEEE Transactions on Reliability, 2018 - ieeexplore.ieee.org
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …
被引用次数：30 相关文章

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

C Dickerson, R Roslan, S Ji - arXiv preprint arXiv:1804.11296, 2018 - arxiv.org
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …

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

C Dickerson, R Roslan, S Ji - arXiv e-prints, 2018 - ui.adsabs.harvard.edu
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …
[PDF] core.ac.uk

[PDF][PDF] A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model

CE Dickerson, R Roslan, S Ji - core.ac.uk
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …
[PDF] amazonaws.com

[PDF][PDF] A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model

CE Dickerson, R Roslan, S Ji - pstorage-loughborough-53465.s3 …
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …
[PDF] lboro.ac.uk

[PDF][PDF] A formal transformation method for automated fault tree generation from a UML activity model

C Dickerson, R Roslan, S Ji - repository.lboro.ac.uk
IEEE Fault analysis and resolution of faults should be part of any end-to-end system
development process. This paper is concerned with developing a formal transformation …
[PDF] researchgate.net

[PDF][PDF] A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model

CE Dickerson, R Roslan, S Ji - researchgate.net
Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …
[PDF] lboro.ac.uk

[PDF][PDF] A formal transformation method for automated fault tree generation from a UML activity model

C Dickerson, R Roslan, S Ji - repository.lboro.ac.uk
IEEE Fault analysis and resolution of faults should be part of any end-to-end system
development process. This paper is concerned with developing a formal transformation …