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]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-2023-00551