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:
Do 11:30-13:00 im Raum 0.463

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 1.168 oder 1.336 statt.

  • 2006: 9.11., 23.11., 5.12., 19.12.
  • 2007: 16.1., 30.1., 13.2.

Übungsblattausgabe:
Die Ausgabe der Übungsblätter bzw. die Bereitstellung auf der Vorlesungswebseite zum Herunterladen erfolgt am Donnerstag der Woche vor der entsprechenden Übung.