SystemC to Timed Automata Transformation Engine (STATE)
Grunddaten zu diesem Projekt
Art des Projektes: Eigenmittelprojekt
Laufzeit an der Universität Münster: seit 01.10.2018
Beschreibung
Stichwörter: Hardware/Software Co-Design; SystemC; Verifikation; Eingebettete Systeme
Webseite des Projekts: https://www.sese.tu-berlin.de/state_project
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