SystemC to Timed Automata Transformation Engine (STATE)
Basic data for this project
Type of project: Own resources project
Duration at the University of Münster: since 01/10/2018
Description
Keywords: Hardware/Software Co-Design; SystemC; Verification; Embedded Systems
Website of the project: https://www.sese.tu-berlin.de/state_project
Project management at the University of Münster
| Herber, Paula | Professorship for practical comuter science |
Project partners outside the University of Münster
- Technische Universität Berlin (TU Berlin)Germany