Metodi Integrati per la Valutazione dell'Affidabilità di Sistemi Reattivi Embedded Durata: 20/12/2000 - 20/12/2002 Responsabile scientifico: Matteo Sonza Reorda Tipo di progetto: Ricerca Nazionale - PRIN Abstract Integrated Approaches for the Dependability Evaluation of Embedded Reactive Systems