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

 

Modellierung und Analyse von Echtzeitsystemen (WS 2006/07)

Dr. Dirk Nowotka

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

[23.11.06]   Beachten Sie bitte, dass sich Termine und Ort der Vorlesungen/Übungen geändert haben!

[12.11.06]   Die Folien der Vorlesung sind jetzt auch in einer druckfreundlichen Version unter FOLIEN/INFOBLÄTTER verfügbar.

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