AUTOMATIC TOOL FOR INSERTION AND SIMULATION OF FAULT TOLERANT ARCHITECTURES (AMATISTA) Durata: 24 mesi (2002) Responsabile scientifico: Matteo Sonza Reorda Tipo di progetto: Ricerca UE - VPQ - IST (SOCIETA' DELL'INFORMAZIONE) Codice identificativo progetto: IST-1999-11762 Partner ALCATEL ESPACIO SA - AEO -