Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics

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]

Abstract

Abstract is missing.