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

Mroß, Robin; Schnakenbeck, Aron; Völker, Marcus; Fay, Alexander; Kowalewski, Stefan

doi:WOS:000894786600001

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

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

In
IEEE access 10, Seiten/Artikel-Nr.:125652-125665

2022

ImpressumNew York, NY : IEEE

ISSN2169-3536

Online
DOI: 10.1109/ACCESS.2022.3225736
10.1109/ACCESS.2022.3225736
DOI: 10.18154/RWTH-2023-00543
URL: https://publications.rwth-aachen.de/record/862557/files/862557.pdf

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 621.3

OpenAccess:
PDF

Dokumenttyp
Journal Article (Review Article)

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85144042484
WOS Core Collection: WOS:000894786600001

Interne Identnummern
RWTH-2023-00543
Datensatz-ID: 862557

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

;

;

;

; Article Processing Charges ; Clarivate Analytics Master Journal List ; Current Contents - Electronics and Telecommunications Collection ; Current Contents - Engineering, Computing and Technology ; DOAJ Seal ; Essential Science Indicators ; Fees ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection