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 |
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>