SYMBAD: Formal Verification in System Level Based Design

Data inizio
1 marzo 2002
Durata (mesi) 
27
Dipartimenti
Informatica
Responsabili (o referenti locali)
Fummi Franco

Enti finanziatori:

Unione Europea
Finanziamento: assegnato e gestito dal dipartimento
Programma: EUROPA - Progetti Europei

Partecipanti al progetto

Nicola Drago
Professore a contratto
Alessandro Fin
Franco Fummi
Professore ordinario
Massimo Poncino
Graziano Pravadelli
Professore associato
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Networks - Network architectures

Attività

Strutture di ricerca