Forschungsprojekt
Hets - Heterogeneous Tool Set
Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.
Kontakt
Ansprechpartner:
Prof. Dr. Till Mossakowski
Projektleitung:
Prof. Dr. Till Mossakowski
Homepage:
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm
Beteiligte Forschungsbereiche