Verifying Composite Service Transactional Behavior with EVENT-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Verifying Composite Service Transactional Behavior with EVENT-B. In Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), Beijing, China, October 24-26, 2011. pages 99-106, IEEE, 2011. [doi]

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

runs on WebDSL