SFB 901; TP B4: Proof-Carrying Services

?berblick

Key Facts

Grant Number:
Art des Projektes:
Sonstiger Zweck
Laufzeit:
01/2011 - 06/2023
Gef?rdert durch:
Deutsche Forschungsgemeinschaft (DFG)
Website:
Homepage

Detailinformationen

Projektleitung

contact-box image

Prof. Dr. Eric Bodden

Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM

Zur Person
contact-box image

Prof. Dr. Marco Platzner

Fakult?t für Elektrotechnik, Informatik und Mathematik

Zur Person
contact-box image

Prof. Dr. Heike Wehrheim

Spezifikation und Modellierung von Softwaresystemen

Zur Person