Sommersemester 1998

Vorlesungen

• Temporale Logiken und ihre Beweistheorie .
  Prof. Dr. Willem-Paul de Roever
  Zeit: Mo. 10 - 12 und Do. 8 - 10 Uhr

• Nebenläufige Systeme und deren werkzeuggestützte Analyse .
  Yassine Lakhnech, Prof. Dr. Willem-Paul de Roever
  Zeit: Mo. 14 - 17 Uhr

• Moderne Telekommunikationssysteme II .
  Teleteachingvorlesung zusammen mit dem Institut für Telematik der Universität Lübeck
  Prof. Dr. Willem-Paul de Roever und Prof. Dr. D. Hogrefe (Universität Lübeck)
  Zeit: Fr. 13 - 15 Uhr

Übungen und Praktika

• Praktikum im Hauptstudium: Java und Rhapsody, (siehe auch die Einführung in Rhapsody ).
  Prof. Dr. Willem-Paul de Roever, Martin Steffen
  Zeit: Mittwoch, 14:00 ct, Haus II, Zi 324

• Kurs/Praktikum im Hauptstudium: Einführung in Java
  Martin Steffen
  Zeit: n.V

• Übungen zu ``Temporale Logiken'' .
  Zeit: n.V.

• Übungen zu ``Nebenläufige Systeme''.
  Yassine Lakhnech
  Zeit: n. V.

• Übungen zu ``Moderne Telekommunikationssysteme II`` .
  
  Zeit: n. V.

Seminare

• Hardwareverifikation.
  Prof. Dr. Willem-Paul de Roever und Mitarbeiter
  Zeit: Freitag. 10:00 ct

• Diplomandenseminar.
  Zeit: n.V.