Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...
Unter dem Dach des DFKI Kompetenzzentrums Smart Agriculture Technologies (CC-SaAT), gemeinsam von den DFKI Fachbereichen Robotics Innovation Center ...
Mit dem Ziel schwere Verletzungen des Unterschenkels individuell optimal zu behandeln, Entscheidungen zu objektivieren und technisch zu unterstützen, ...
Das Mittelstand 4.0-Kompetenzzentrum Kaiserslautern ist Teil des bundesweiten Netzwerkes Mittelstand-Digital. Mit Mittelstand-Digital unterstützt das ...