h1

h2

h3

h4

h5
h6

001     862557
005     20251007120728.0
024 7 _ |2 ISSN
|a 2169-3536
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85144042484
024 7 _ |2 doi
|a 10.1109/ACCESS.2022.3225736
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2023-00543
024 7 _ |2 WOS
|a WOS:000894786600001
037 _ _ |a RWTH-2023-00543
041 _ _ |a English
082 _ _ |a 621.3
100 1 _ |0 P:(DE-82)IDM04439
|a Mroß, Robin
|b 0
|e Corresponding author
|u rwth
245 _ _ |a Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
|h online
260 _ _ |a New York, NY
|b IEEE
|c 2022
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
|x Review Article
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
588 _ _ |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Germany
700 1 _ |0 0000-0002-3507-2851
|a Schnakenbeck, Aron
|b 1
700 1 _ |0 P:(DE-82)IDM03434
|a Völker, Marcus
|b 2
|u rwth
700 1 _ |0 0000-0002-1922-654X
|a Fay, Alexander
|b 3
700 1 _ |0 P:(DE-82)IDM06137
|a Kowalewski, Stefan
|b 4
|u rwth
773 _ _ |0 PERI:(DE-600)2687964-5
|a 10.1109/ACCESS.2022.3225736
|p 125652-125665
|t IEEE access
|v 10
|x 2169-3536
|y 2022
856 4 _ |u https://publications.rwth-aachen.de/record/862557/files/862557.pdf
|y OpenAccess
909 C O |o oai:publications.rwth-aachen.de:862557
|p dnbdelivery
|p driver
|p VDB
|p open_access
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM04439
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM03434
|a RWTH Aachen
|b 2
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)000779
|a RWTH Aachen
|b 4
|k RWTH
914 1 _ |y 2022
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)1160
|2 StatID
|a DBCoverage
|b Current Contents - Engineering, Computing and Technology
|d 2022-11-11
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b IEEE ACCESS : 2021
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0501
|2 StatID
|a DBCoverage
|b DOAJ Seal
|d 2022-06-13T11:44:26Z
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0500
|2 StatID
|a DBCoverage
|b DOAJ
|d 2022-06-13T11:44:26Z
915 _ _ |0 StatID:(DE-HGF)0700
|2 StatID
|a Fees
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)0030
|2 StatID
|a Peer Review
|b DOAJ : Blind peer review
|d 2022-06-13T11:44:26Z
915 _ _ |0 StatID:(DE-HGF)0561
|2 StatID
|a Article Processing Charges
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)1230
|2 StatID
|a DBCoverage
|b Current Contents - Electronics and Telecommunications Collection
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2022-11-11
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2022-11-11
920 1 _ |0 I:(DE-82)122810_20140620
|k 122810
|l Lehrstuhl für Informatik 11 (Embedded Software)
|x 0
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 1
980 1 _ |a FullTexts
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)122810_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21