Happy-flow verification of Cyber-Physical Systems

Back to results

Open Universiteit

dc:creator Ketelaar, J.

dc:date2022

Author and committee

dc:creator, dc:contributor.*

dc:identifier.*

Repository record dc:identifier: https://research.ou.nl/en/studentTheses/a24ae34d-3d15-4ea3-93ea-25c31e636eba
OAI identifier oai:identifier: oai:research.ou.nl:studenttheses/a24ae34d-3d15-4ea3-93ea-25c31e636eba

Chain of custody

source

related terms

citation

Ketelaar, J.. Happy-flow verification of Cyber-Physical Systems. 2022. https://research.ou.nl/en/studentTheses/a24ae34d-3d15-4ea3-93ea-25c31e636eba