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)
Buchbeitrag, Fachzeitschriftenartikel

In: Automatisierungstechnik : AT
Band: 71
Heft: 1
Seite(n)/Artikel-Nr.: 56-68

Einrichtungen

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