English
ItalianoNavigazione di Sezione:
Metodi Di Verifica Di Sistemi 2022/2023
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 E SISTEMI IBRIDI USO DEL MODEL CHECKING NEL PLANNING
- Ricevimento: su appuntamento: inviare una mail per definire giorno e orario
Didattica:
- A.A.: 2022/2023
- Canale: UNICO
- Crediti: 6
Classe virtuale:
- Nome classe: INTRIGILA-8066134-METODI_DI_VERIFICA_DI_SISTEMI_1
- Link Microsoft Teams: Link
- Docente: INTRIGILA BENEDETTO