diguglielmo
univrit
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 |
