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

  • Transformation of GRAFCET into GAL for verification purposes based on a detailed meta-model

Schnakenbeck, Aron (Corresponding author); Mroß, Robin; Völker, Marcus; Kowalewski, Stefan; Fay, Alexander

Berlin : De Gruyter (2023)
Contribution to a book, Journal Article

In: Automatisierungstechnik : AT
Volume: 71
Issue: 1
Page(s)/Article-Nr.: 56-68

Institutions

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

Identifier

Related publications