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 |