SYMBAD: Formal Verification in System Level Based Design

  1. Home
  2. Ricerca
  3. Progetti
  4. 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
Condividi