Projekt

Hets

Heterogeneous Tool Set

  • Laufzeit:

Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen.

Partner

Universität Bremen

Projekt teilen auf:

Ansprechpartner

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence