Model checking Task Models with UPPAAL using MDE

Back to results

Open Universiteit

dc:creator Postma, E.

dc:date2021

Author and committee

dc:creator, dc:contributor.*

dc:identifier.*

Repository record dc:identifier: https://research.ou.nl/en/studentTheses/018cd13d-4d7c-41f2-824d-d7cc9bb37526
OAI identifier oai:identifier: oai:research.ou.nl:studenttheses/018cd13d-4d7c-41f2-824d-d7cc9bb37526

Chain of custody

source

related terms

citation

Postma, E.. Model checking Task Models with UPPAAL using MDE. 2021. https://research.ou.nl/en/studentTheses/018cd13d-4d7c-41f2-824d-d7cc9bb37526