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.
******** CSS e script comuni siti DOL - frase 9957 ********p>