Course details - SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik |
---|
Wintersemester 2009/2010 |
SFB Automatic Verification and Analysis of Complex Systems: AVACS | |
---|---|
Zeit: | Fr. 13:00 - 15:00 (wöchentlich) - Seminar |
Veranstaltungsnummer: | 2.01.661 |
Studienbereiche: | Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Lehreinheit Informatik > Veranstaltungen nach Bereichen der Informatik > Sonstige Veranstaltungen |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Seminar in der Kategorie Lehre |
Art der Veranstaltung: | 2 SE |
Beschreibung: | Unterrichtssprache Englisch |
Ort: | (OFFIS): Fr. 13:00 - 15:00 (14x) |
Lehrende: | Prof. Dr. Werner Damm Prof. Dr. Martin Georg Fränzle Prof. Dr. Ernst-Ruediger Olderog Prof. Dr.-Ing. Oliver Theel |