SYMBAD: Formal Verification in System Level Based Design

Scheda Progetto di ricerca

Condividi sui principali social network: Facebook    Delicious    add to Connotea    add to CiteUlike
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
ornamento
Inizio pagina