Central Tasks (Z01)

• Subject Area: Computer Science, Systems and Electrical Engineering
• Term: from 2004 to 2015
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5485999

No abstract available

• DFG Programme: CRC/Transregios
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Project Heads: Professor Dr. Bernd Becker; Professor Dr. Werner Damm; Professor Dr. Bernd Finkbeiner