Publications
| Authors: | Andrea Bobbio |
| Giuliana Franceschinis | |
| Rossano Gaeta | |
| Luigi Portinale | |
| Title: | Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics |
| Published on: | IEEE Trans. Software Eng. Vol. 29 n. 3 |
| Pages: | 270-287 |
| Year: | 2003 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/...rg/10.1109/TSE.2003.1183940 |