Veranstaltungsdetails - Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS

Veranstaltungsdetails - Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS

Department für Informatik
Sommersemester 2009
Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Zeit: Fr. 13:00 - 15:00 (wöchentlich)
Veranstaltungsnummer: 2.01.661
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: sonstige in der Kategorie Lehre
Art der Veranstaltung: S
Ort: (OFFIS F02): Fr. 13:00 - 15:00 (6x)
Lehrende: Prof. Dr. Werner Damm
Prof. Dr. Martin Georg Fränzle
Prof. Dr. Ernst-Ruediger Olderog
Prof. Dr.-Ing. Oliver Theel
Zurück