| 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 |
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2023 | Università degli studi di Verona
CSS e script comuni siti DOL - frase 9957
