An Event-B Based Approach for Ensuring Correct Configurable Business Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An Event-B Based Approach for Ensuring Correct Configurable Business Processes. In Stephan Reiff-Marganiec, editor, IEEE International Conference on Web Services, ICWS 2016, San Francisco, CA, USA, June 27 - July 2, 2016. pages 460-467, IEEE, 2016. [doi]

This author has not been identified. Look up 'Souha Boubaker' in GoogleThis author has not been identified. Look up 'Amel Mammar' in GoogleThis author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Walid Gaaloul' in Google

runs on WebDSL