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

[9.1.06]   Die ausgefallene MAES Vorlesung vom 19.12.05 wird am 12.1.06 (Donnerstag) vom 9:45 bis 11:15 Uhr im Seminarraum 0.457 nachgeholt.

[16.12.05]   Dieses Jahr wird keine MAES Vorlesung mehr stattfinden. (Die Übung am 22.12.05 wird jedoch stattfinden!) Wir treffen uns am 9.1.2006 zur ersten Vorlesung im neuen Jahr wieder.

Ich wünsche Ihnen ein frohes Weihnachtsfest und einen guten Rutsch ins neue Jahr.

[14.11.05]   Die ergänzte Version der Folien zum Teil 2 der Vorlesung (Zeitautomaten) finden Sie jetzt unter "FOLIEN".

[31.10.05]   Das erste Übungsblatt finden Sie jetzt unter "ÜBUNGEN".

[24.10.05]   Die Übungstermine wurden um eine Woche verschoben. Die neuen Termine erfahren Sie unter "TERMINE" und "ÜBUNGEN".

[30.06.05]   Willkommen auf der Webseite zur Veranstaltung "Modellierung und Analyse von Echtzeitsystemen." Hier finden Sie demnächst nähere Informationen zur Vorlesung und den Übungen.