Hardware validation

Tiziano Villa
Incaricato alla ricerca
Competenze
Argomento Persone Descrizione
Verifica di sistemi embedded Tiziano Villa
Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time

Attività

Strutture

Condividi