Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.
Partner
Universität Bremen
Projekt
Hets
Heterogeneous Tool Set
-
Laufzeit:
Fördergeber
DFG - Deutsche Forschungsgemeinschaft
Keyfacts
- Beteiligte Forschungsbereiche
Cyber-Physical Systems - Webseite
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm