Modalità della valutazione di Modelli Formali per la Sicurezza - Dottorato di Ricerca in Informatica e Matematica - XXIX ciclo
Scopo della valutazione è verificare le capacità critiche degli studenti
relativamente ai concetti trattati nell'intero corso.
A tale scopo, la valutazione consiste nella presentazione in forma seminariale
di un approfondimento di uno degli aspetti del corso, oppure nella realizzazione e discussione di un caso di studio.
In entrambi i casi sarà necessario preventivamente concordare l'argomento con il docente.