Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul. Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. In 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 251-259, IEEE, 2013. [doi]

This author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Imed Abbassi' in GoogleThis author has not been identified. Look up 'Lazhar Hamel' in GoogleThis author has not been identified. Look up 'Mohamed Tahar Bhiri' in GoogleThis author has not been identified. Look up 'Mourad Kmimech' in GoogleThis author has not been identified. Look up 'Walid Gaaloul' in Google

runs on WebDSL