Materialien
Vorlesungsmaterial
Foren
Forum
Seminar: Methoden der Verifikation - Sommersemester 07
Übersicht
| Beschreibung |
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. |
| Kommentar |
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) |