Extending ERS for Modelling Dynamic Workflows in Event-B

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2017.29 ◽

2017 ◽

Cited By ~ 2

Author(s):

Dana Dghaym ◽

Michael Butler ◽

Asieh Salehi Fathabadi

Download Full-text