| Title: | Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model | Authors: | Mross, Robin Schnakenbeck, Aron Völker, Marcus Kowalewski, Stefan |
Language: | eng | Subject (DDC): | 620 Ingenieurwissenschaften | Issue Date: | 2022 | Publisher: | IEEE | Document Type: | Article | Journal / Series / Working Paper (HSU): | IEEE Access | Volume: | 2022 | Issue: | 10 | Page Start: | 125652 | Page End: | 125665 | Publisher Place: | Piscataway | Description: | Open Access |
Organization Units (connected with the publication): | Automatisierungstechnik |
| Appears in Collections: | 3 - Reported Publications |
Show full item record
CORE Recommender
Google ScholarTM
Check
User Tools
Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.