Topic | People | Description |
---|---|---|
Embedded system verification |
Tiziano Villa
|
Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems |
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>