Informazioni di Metodi Di Verifica Di Sistemi

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: INF/01
Codice di verbalizzazione: 8066134
Metodi di insegnamento: Frontale E Altro
Metodi di valutazione: Orale
Prerequisiti: NESSUNO
Obiettivi: MODEL CHECKING ESPLICITO E SIMBOLICO. TIMED AUTOMATA E SISTEMI IBRIDI USO DEL MODEL CHECKING NEL PLANNING
Ricevimento: su appuntamento: inviare una mail per definire giorno e orario

Navigazione Utente: