SYMBAD: Formal Verification in System Level Based Design

Data inizio
1 marzo 2002
Durata (mesi) 
27
Dipartimenti
Informatica, Ingegneria per la medicina di innovazione
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 ordinario
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Network architectures

Attività

Strutture

Condividi