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: conoscenze di base della 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: