Informazioni di Metodi Di Verifica Di Sistemi Complessi

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: INF/01
Codice di verbalizzazione: 8062804
Metodi di insegnamento: Frontale E Altro
Metodi di valutazione: Scritto E Orale
Prerequisiti: Elementi di logica.
Obiettivi: Metodi di verifica formale. Model checking esplicito. Model checking simbolico. Sistemi ibridi.
Ricevimento: su appuntamento: inviare una mail per definire giorno e orario

Navigazione Utente: