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

cris.customurl 14710
cris.virtual.department Automatisierungstechnik
cris.virtual.department #PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.department #PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.department #PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtual.departmentbrowse Automatisierungstechnik
cris.virtual.departmentbrowse Automatisierungstechnik
cris.virtual.departmentbrowse Automatisierungstechnik
cris.virtual.departmentbrowse Automatisierungstechnik
cris.virtualsource.department dfa8e01a-67e8-4800-8bb2-3f2309602099
cris.virtualsource.department #PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.department #PLACEHOLDER_PARENT_METADATA_VALUE#
cris.virtualsource.department #PLACEHOLDER_PARENT_METADATA_VALUE#
dc.contributor.author Mross, Robin
dc.contributor.author Schnakenbeck, Aron
dc.contributor.author Völker, Marcus
dc.contributor.author Kowalewski, Stefan
dc.date.issued 2022
dc.description Open Access
dc.description.version NA
dc.identifier.uri https://openhsu.ub.hsu-hh.de/handle/10.24405/14710
dc.language.iso en
dc.publisher IEEE
dc.relation.journal IEEE Access
dc.relation.orgunit Automatisierungstechnik
dc.rights.accessRights metadata only access
dc.title Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
dc.type Research article
dcterms.bibliographicCitation.originalpublisherplace Piscataway
dspace.entity.type Publication
hsu.uniBibliography
oaire.citation.endPage 125665
oaire.citation.issue 10
oaire.citation.startPage 125652
oaire.citation.volume 2022
Files