Sistemi a tempo reale - Laboratorio (2007/2008)

Corso disattivato non visibile

Codice insegnamento
4S01075
Docente
Tiziano Villa
crediti
1
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
1° Q dal 3-ott-2007 al 4-dic-2007.

Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare * organizzazione dell'insegnamento

Orario lezioni

1° Q
Giorno Ora Tipo Luogo Note
giovedì 16.30 - 18.30 esercitazione Laboratorio didattico Delta  

Obiettivi formativi

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.

Programma

Laboratorio Uppaal
Laboratorio HyTech
Laboratorio ddt e Charon
Laboratorio Phaver e Ariadne
Laboratorio Times

Modalità d'esame

Progetto. Vedi Modalita' d'esame della Teoria.

Materiale didattico

Documenti