|
|
Seminar: Methoden der Verifikation - Sommersemester 07
Übersicht
Das Thema des Seminars werden stochastische Systeme und ihre Verifikation sein. Diese spielen heutzutage eine zentrale Rolle, wenn beispielsweise eine unsichere Umgebung oder auch Ausfallraten von Bauteilen bei der Verifikation berücksichtigt werden müssen.
|
Seminar im Diplom-, Bachelor- und Masterstudiengang
Vorbesprechung: Mi, 25.04.2007, 13:00 Uhr in 51-01..031
Blockveranstaltung: Do, 26.07.2007 und Fr, 27.07.2007 (ganztägig)
|
|
