Efficient reachability graph development for qualitive analysis of state/event fault trees

Roth, Michael; Hartoyo, Agus; Liggesmeyer, Peter

doi:10.1109/ISSREW.2015.7392060

by Michael Roth, Agus Hartoyo, Peter Liggesmeyer

Reference:

M. Roth, A. Hartoyo and P. Liggesmeyer, "Efficient reachability graph development for qualitive analysis of state/event fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 144-151.

Bibtex Entry:

@INPROCEEDINGS{Roth15b, 
author={Roth, Michael and Hartoyo, Agus and Liggesmeyer, Peter}, 
booktitle={Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on}, 
title={Efficient reachability graph development for qualitive analysis of state/event fault trees}, 
year={2015}, 
pages={144-151}, 
keywords={Analytical models;Explosions;Fault trees;Logic gates;Software;Stochastic processes;fault tree;reliability analysis;software certification;state event fault tree}, 
doi={10.1109/ISSREW.2015.7392060}, 
month={Nov},}