Reliable Embedded System Design based on Co-verification in a Unified Environment (RESCUE)
Grunddaten zu diesem Projekt
Art des Projektes: Eigenmittelprojekt
Laufzeit an der Universität Münster: 01.10.2018 - 31.12.2019
Beschreibung
Stichwörter: Hardware/Software Co-Design; SystemC; Verifikation; Eingebettete Systeme
Webseite des Projekts: https://www.sese.tu-berlin.de/menue/forschung/projekte/rescue/parameter/en/
Projektleitung der Universität Münster
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
Projektbeteiligte Organisationen außerhalb der Universität Münster
- Technische Universität Berlin (TU Berlin)Deutschland