Hichem Boudali, Pepijn Crouzen, Mariƫlle Stoelinga. A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Sec. Comput., 7(2):128-143, 2010. [doi]
@article{BoudaliCS10, title = {A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis}, author = {Hichem Boudali and Pepijn Crouzen and Mariƫlle Stoelinga}, year = {2010}, doi = {10.1109/TDSC.2009.45}, url = {http://dx.doi.org/10.1109/TDSC.2009.45}, tags = {composition, analysis}, researchr = {https://researchr.org/publication/BoudaliCS10}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Dependable Sec. Comput.}, volume = {7}, number = {2}, pages = {128-143}, }