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

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science