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 2005/06)

Dr. Dirk Nowotka

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

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

Beachten Sie bitte, dass sich Termine ändern können.

Übungen:
Die Übungen zur Vorlesung "Modellierung und Analyse von Echtzeitsystemen" finden Donnerstags 14tägig an den folgenden Tagen im Raum 0.463 statt.

  • 2005: 10.11., 24.11., 8.12., 22.12.
  • 2006: 19.1., 2.2., 16.2.

Übungsblattabgabe:
Die Abgabe der Übungsblätter kann am Montag in der Vorlesung eine Woche nach der Ausgabe erfolgen. Wir haben die folgenden Abgabetermine.

  • 2005: 7.11., 21.11., 5.12., 19.12.
  • 2006: 16.1., 30.1., 13.2.
Bitte versehen Sie Ihre Lösungsblätter mit Ihrem Namen.