Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare 
organizzazione dell'insegnamento
L'obiettivo del laboratorio e' d'introdurre l'uso di programmi per descrivere, analizzare e sintetizzare modelli formali di sistemi in tempo reale, con particolare riferimento agli automi ibridi.
Laboratorio Uppaal
Laboratorio HyTech
Laboratorio ddt e Charon
Laboratorio Phaver e Ariadne
Laboratorio Times
Progetto. Vedi Modalita' d'esame della Teoria.
Lab01 - Uppaal
(pdf, it, 527 KB, 04/11/07)
Lab02 - HyTech
(pdf, it, 578 KB, 04/11/07)
Lab03 - d/dt
(pdf, it, 314 KB, 10/12/07)
Lab04 - PhaVer e Ariadne
(pdf, it, 265 KB, 10/12/07)
Lab05 - Times
(pdf, it, 683 KB, 10/12/07)
Lab06 - Confronto tra HyTech, d/dt, PhaVer e Ariadne
(pdf, it, 108 KB, 10/12/07)
Progetto 2007-8
(pdf, it, 156 KB, 10/12/07)
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
