Modules running in the period selected: 1.
Click on the module to see the timetable and course details.
Course | Name | Total credits | Online | Teacher credits | Modules offered by this teacher |
---|---|---|---|---|---|
Bachelor's degree in Computer Science | Operating Systems (2011/2012) | 12 | 4 | [Laboratorio 1 e 2] (Laboratorio) |
Topic | Description | Research area |
---|---|---|
Embedded system verification | 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 |
Cyber-physical systems
Hardware validation |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits