Skip to main content Skip to main navigation

Projekte

Aktive Filter:

Bereiche: Cyber-Physical Systems Forschungsbereiche: Autonome Systeme Forschungsbereiche: IT Security Forschungsbereiche: Lernende Systeme Forschungsbereiche: Mensch Maschine Interaktion Anwendungsfelder: Handel & Logistik Anwendungsfelder: Smart Home & Assisted Living Anwendungsfelder: Sonstige Anwendungsfelder: Umwelt & Energie
Alle Filter entfernen
Zeige Ergebnisse 1 bis 1 von 1
  1. VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    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 …

Bereiche

Forschungsbereiche

Mehr Optionen

Anwendungsfelder

Mehr Optionen