Universität Münster
Embedded Systems
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • Home
  • Team
  • Research
  • Teaching
  • Theses
  • Studienberatung
  • Home
    • Research
      • STATE
  • Publications
  • Projects
  • Safe ILIAS
  • SAVES
  • Simulink2dL
  • SysCSec
  • RESCUE
  • ECoSMo
  • STATE

SystemC to Timed Automata Transformation Engine (STATE)

see https://www.sese.tu-berlin.de/state_project

Top of page

Contact

University of Münster
AG Herber

Einsteinstraße 62
48149 Münster

Tel: +49 251 8332740
Fax: +49 251 8332742
paula.herber@uni-muenster.de
 
living.knowledge
  • Index
  • Site Map
  • Legal Disclosure
  • Privacy Statement
  • Accessibility

© 2024 AG Herber: Embedded Systems