Extending ERS for Modelling Dynamic Workflows in Event-B.

Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi

Browse the full ICECCS paper archive.