Die Folien werden im Laufe Vorlesung hier veröffentlicht.
Generell gilt: Die Folien sind kein Skriptersatz! Sie dienen lediglich als Hilfe, damit nicht jedes Detail in der Vorlesung mitgeschrieben werden muß, ersetzen aber nicht die Vorlesung.
Folien vom Wintersemester 06/07:
- 0-Organisatorisches
- 1-Einführung (Druckversion: [2auf1] [4auf1])
- 2-Zeitautomaten (Druckversion: [2auf1] [4auf1])
- 3-Regionen (Druckversion: [2auf1] [4auf1])
- 4-Gebiete (Druckversion: [2auf1] [4auf1])
- 5-TCTL (Druckversion: [2auf1] [4auf1])
- 6-Zeitautomatentheorie (Druckversion: [2auf1] [4auf1])
- 7-Implementierungsfragen (Druckversion: [2auf1] [4auf1])
Infoblätter:
- Das kleine UPPAAL Tutorial (auf englisch).
dn