Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).

Wiktor B. Daszczuk, Jakub Jalowiec

Browse the full FedCSIS paper archive.