A case study in compositional model-checking of hierarchical PLC programs

Erps, R. (Roel)

Back to results

Open Universiteit

A case study in compositional model-checking of hierarchical PLC programs

dc:creator Erps, R. (Roel)

dc:date2021

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Erps, R. (Roel)

Rights

Language dc:language: English

Identifiers

dc:identifier.*

Repository record dc:identifier: https://research.ou.nl/en/studentTheses/27ee3ff5-082b-4fb1-8377-136cbade46f3
OAI identifier oai:identifier: oai:research.ou.nl:studenttheses/27ee3ff5-082b-4fb1-8377-136cbade46f3

Chain of custody

source

Harvested from: Open Universiteit
Base URL: research.ou.nl/ws/oai
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

openu
2021

citation

Erps, R. (Roel). A case study in compositional model-checking of hierarchical PLC programs. 2021. https://research.ou.nl/en/studentTheses/27ee3ff5-082b-4fb1-8377-136cbade46f3

A case study in compositional model-checking of hierarchical PLC programs

Author and committee

Rights

Identifiers

Chain of custody

More from Open Universiteit