diguglielmo
univrit
Insegnamenti attivi nel periodo selezionato: 2.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| Corso | Nome | Crediti totali | Online | Crediti del docente | Moduli svolti da questo docente |
|---|---|---|---|---|---|
| Laurea in Informatica | Sistemi operativi (2011/2012) | 12 |
|
4 | [Laboratorio 2] (Laboratorio) |
| Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) | Sistemi Multimediali di Rete (2006/2007) | 5 |
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Verifica di sistemi embedded | Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time |
Sistemi ciberfisici
Hardware validation |
