Skip to main content Skip to main navigation

Projekte

Aktive Filter:

Bereiche: Cyber-Physical Systems Forschungsbereiche: Autonome Systeme Forschungsbereiche: IT Security Forschungsbereiche: Mensch Maschine Interaktion Forschungsbereiche: Sensorik & Netzwerke Forschungsbereiche: Sonstige Anwendungsfelder: Mobilität 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 RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro

Bereiche

Forschungsbereiche

Mehr Optionen

Anwendungsfelder

Mehr Optionen