[an error occurred while processing this directive]
Bild mit Unilogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Sichere und Zuverlässige Softwaresysteme

[an error occurred while processing this directive] englishicon
 

Modellierung und Analyse von Echtzeitsystemen (WS 2005/06)

Dr. Dirk Nowotka

Email an: maes@honolulu.informatik.uni-stuttgart.de

[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.