Informazioni di Metodi Di Verifica Di Sistemi | DidatticaWEB

Generali:

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: INF/01
Codice di verbalizzazione: 8066134
Metodi di insegnamento: Frontale E Altro
Metodi di valutazione: Scritto E 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.: 2014/2015
Canale: UNICO
Crediti: 6