Projekte

Zeige Ergebnisse 1 bis 3 von 3

BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

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 …