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 …
SENSE – Semantisches Interoperables Smart Home

Das Projekt “Semantisches Interoperables Smart Home” (SENSE) möchte verschiedene Smart Home Dienste für Energie, Mobilität, Gesundheit, Sicherheit und …