uni
suche
sitemap
kontakt
impressum
Universität Stuttgart
SZS
|
Kontakt
|
Mitarbeiter
|
Lehre
|
Forschung
|
Veröffentlichungen
|
Tools
|
Institut
|
Fakultät
|
Links
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
» AKTUELLES
» TERMINE
» MOTIVATION
» INHALT
» ÜBUNGEN
» SCHEIN
» FOLIEN/INFOBLÄTTER
» SOFTWARE
» LITERATUR
Hörerkreis:
Vertiefungslinie
Informatik, Softwaretechnik
Vorlesung:
Mo 11:30-13:00
Raum V38.02
Übung:
Do 11:30-13:00 (14-tägig)
Raum 0.463
Schein:
Der Schein für die Vorlesung "Modellierung und Analyse von Echtzeitsystemen" wird nach einer mündlichen Prüfung erteilt.
Letzte Änderung 31.08.2005 (
dn
) | © Universität Stuttgart |
Impressum