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