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:
Do 11:30-13:00
Raum 0.463
Übung:
Di 9:45-11:15 (14-tägig)
Raum 1.168 oder 1.336
Schein:
Der Schein für die Vorlesung "Modellierung und Analyse von Echtzeitsystemen" wird nach einer mündlichen Prüfung erteilt.
Letzte Änderung 23.11.2006 (
dn
) | © Universität Stuttgart |
Impressum