Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.
Partner
Universität Bremen
Projekt | Hets
Laufzeit:
Heterogeneous Tool Set
Keyfacts
Beteiligte Forschungsbereiche
Webseite
Fördergeber
DFG - Deutsche Forschungsgemeinschaft
