Modellierung und Analyse von Echtzeitsystemen (WS 2005/06)

Hörerkreis: Vertiefungslinie
Informatik, Softwaretechnik

Vorlesung:
Mo 11:30-13:00
Raum V38.02

Übung:
Do 11:30-13:00 (14-tägig)
Raum 0.463

Folien:
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 für das Wintersemester 05/06:

• 0-Organisatorisches
• 1-Einführung
• 2-Zeitautomaten
• 3-Regionen
• 4-Gebiete
• 5-TCTL
• 6-Zeitautomatentheorie
• 7-Implementierungsfragen

Infoblätter:

• Das kleine UPPAAL Tutorial (auf englisch).