didatticaweb
Opzioni Usabilità:
Vai alla Navigazione
Vai alla Lista dei Corsi
Vai al Contenuto
Versione Normale
Navigazione Utente:
Scegli Linguaggio:
English
Italiano
Accedi
Accedi:
Id utente oppure
Registrati
Password:
Homepage
Lista dei corsi
Economia
Giurisprudenza
Ingegneria
Lettere
Medicina
Scienze
Cerca docente
Cerca docente:
Navigazione di Sezione:
[I]nfo
[M]oduli
[B]acheca
[P]rogramma
[O]rari
[E]sami
E[v]enti
[F]iles
Metodi Di Verifica Di Sistemi
2022/2023
Docente:
Benedetto Intrigila
Dipartimento:
Scienze Matematiche, Fisiche E Naturali
Corso Di Laurea Magistrale Dm.270/04 in
Informatica
Per aggiungere un Corso tra i Preferiti è necessario
Accedere al Sito
.
Aggiungi il corso ai tuoi preferiti
Programma di Metodi Di Verifica Di Sistemi:
Model checking esplicito e simbolico Timed Automata
English
Italiano