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 |