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

Übungsblätter (im PDF Format):


Abgabetermine: 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.


Übungstermine: 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.


E-Mail: Bitte senden Sie bei Fragen zur Vorlesung "Modellierung und Analyse von Echtzeitsystemen" und speziell zu den Übungen eine E-Mail an: maes@honolulu.informatik.uni-stuttgart.de.