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

SAFE-10-T – Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

Das SAFE-10-T Projekt wird ein Framework entwickeln, das ein hohes Sicherheitsniveau von Straßen-, Schienen- und Wasserweg-Netzwerken sicherstellen ...

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