Stud.IP Uni Oldenburg
University of Oldenburg
23.05.2022 14:20:00
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
Back