Stud.IP Uni Oldenburg
University of Oldenburg
21.05.2022 12:40:07
Course details - SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik
Wintersemester 2008/2009
SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Fr. 13:30 - 15:00 (wöchentlich)
Veranstaltungsnummer: 2.01.661
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Grundstudium in der Kategorie Lehre
Art der Veranstaltung: S
Ort: (OFFIS D21): Fr. 13:30 - 15:00 (13x)
Lehrende: Prof. Dr. Werner Damm
Prof. Dr. Martin Georg Fränzle
Prof. Dr. Ernst-Ruediger Olderog
Prof. Dr.-Ing. Oliver Theel
Back