Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, …
Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt …