Projekte

Zeige Ergebnisse 1 bis 2 von 2
VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der ...

In vielen körperlich anstrengenden Berufen bilden stark belastende Bewegungsabläufe ein erhebliches Risiko für Berufskrankheiten in der zweiten ...

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