Modules running in the period selected: 2.
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
Course partially running
|
Operating Systems (2011/2012) | 12 | 4 | [Laboratorio 2] (Laboratorio) | |
Level 1 Masters in Network Planning and Management
Course not running
|
Sistemi Multimediali di Rete (2006/2007) | 5 |
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
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 | Hardware validation |
******** CSS e script comuni siti DOL - frase 9957 ********