Course details - Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik |
---|
Sommersemester 2007 |
Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS | |
---|---|
Zeit: | Freitag 13:00 bis 15:00 |
Veranstaltungsnummer: | 2.01.662 |
Studienbereiche: | Fakultät 2: Informatik Wirtschafts- und Rechtswissenschaften > Department für Informatik |
DozentIn | in Bearbeitung Prof. Dr. Ernst-Ruediger Olderog Prof. Dr.-Ing. Oliver Theel Prof. Dr. Martin Georg Fränzle |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Grundstudium in der Kategorie Lehre |
Art der Veranstaltung: | S |
Ort: | Fr. wöchentlich 13:00-15:00 Ort: (OFFIS D021) |