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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.