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