Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern

Schnakenbeck, Aron; Mroß, Robin; Völker, Marcus; Kowalewski, Stefan; Fay, Alexander

Magdeburg : Otto-von-Guericke-Universität Magdeburg (2022)
Buchbeitrag, Beitrag zu einem Tagungsband, Poster

In: Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen / Ulrich Jumar, Christian Diedrich (Hrsg.)
Seite(n)/Artikel-Nr.: 18 Seiten

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 11 (Embedded Software) [122810]