Veranstaltungsdetails - 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