Projekte

Zeige Ergebnisse 21 bis 22 von 22

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 …
ELG – European Language Grid

Partner Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI); Athena Research and Innovation Center in Information, Communication and …