Stud.IP Uni Oldenburg
University of Oldenburg
20.05.2022 00:53:47
Course details - Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Department für Informatik
Sommersemester 2008
Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Fr. 13:00 - 15:00 (wöchentlich)
Veranstaltungsnummer: 2.01.662
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Grundstudium in der Kategorie Lehre
Art der Veranstaltung: S
Ort: (OFFIS D021): Fr. 13:00 - 15:00 (14x)
Lehrende: Prof. Dr. Martin Georg Fränzle
in Bearbeitung
Prof. Dr. Ernst-Ruediger Olderog
Prof. Dr.-Ing. Oliver Theel
Back