Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale. Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Trans. Software Eng., 29(3):270-287, 2003. [doi]
@article{BobbioFGP03,
title = {Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics},
author = {Andrea Bobbio and Giuliana Franceschinis and Rossano Gaeta and Luigi Portinale},
year = {2003},
url = {http://www.computer.org/tse/ts2003/e0270abs.htm},
tags = {semantics, analysis},
researchr = {https://researchr.org/publication/BobbioFGP03},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {29},
number = {3},
pages = {270-287},
}