Projekte

Zeige Ergebnisse 1 bis 4 von 4

Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat eine Studie zum Thema „Sicherheit von KI-Systemen: Symbolische und Hybride ...

VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen ...

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 ...

GEOBOX – Standardisierung der Geobox-Infrastruktur - Dezentrale Datenhaltung und regionale Vernetzung

Ziel des Vorhabens GeoBox-I ist die experimentelle Entwicklung, Erprobung und Verbreitung eines praxistauglichen Prototypen einer standardisierten und ...

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