Zentrale Aufgaben des SFB/Transregio (Z01)

• Fachliche Zuordnung: Informatik, System- und Elektrotechnik
• Förderung: Förderung von 2004 bis 2015
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485999

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
• Antragstellende Institution: Carl von Ossietzky Universität Oldenburg
• Mitantragstellende Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Teilprojektleiter: Professor Dr. Bernd Becker; Professor Dr. Werner Damm; Professor Dr. Bernd Finkbeiner