Navigazione di Sezione:
Metodi Di Verifica Di Sistemi 2016/2017
Generali:
- 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
- Ricevimento: su appuntamento: inviare una mail per definire giorno e orario
Didattica:
- A.A.: 2016/2017
- Canale: UNICO
- Crediti: 6