Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes'. Together they form a unique fingerprint.

Keyphrases

Computer Science