Hardware validation

Davide Bresolin
Incaricato alla ricerca
Luca Geretti
Assegnista
Competenze
Argomento Persone Descrizione
Verifica di sistemi embedded Davide Bresolin
Luca Geretti
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