2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Modellazione e analisi di sistemi
| Informazioni generali | |||
| Corso di Laurea | Sicurezza Informatica [LM-66], sede di Crema | Percorso | Sistemi sicuri |
|---|---|---|---|
| CFU | 6 | Università | MILANO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 2 CFU nell'area A - Fondamenti
- 4 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
- A - Fondamenti
- *
ALF - Automi e Linguaggi Formali
Applicazione dei Metodi Formali alla progettazione ed all'analisi di sistemi - *
ALF - Automi e Linguaggi Formali
Automi di Kripke e Logica Temporale CTL: sintassi, semantica, pattern di specifica
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
