Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
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