Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.
Partner
Universität Bremen
Projekt
Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.
Universität Bremen
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023