In dem Projekt werden anhand des RoboCup-Szenarios Methoden entwickelt, die es ermöglichen, sowohl primitive Aktionen als auch komplexe …
Ziel des Projektes ist die Erstellung eines umfassenden, multimedialen, adaptiven Lehr- und Lernsystems für das Gebiet der Sicheren Systeme. Durch die …
Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen. Partner Universität Bremen