Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

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

New York, NY : IEEE (2022)
Journal Article (Review Article)

In: IEEE access
Volume: 10
Page(s)/Article-Nr.: 125652-125665

Institutions

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