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)
Contribution to a book, Contribution to a conference proceedings, Poster

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

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 11 (Embedded Software) [122810]