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) |
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.
MyUnivr| 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 |
