A Formal Approach for Cloud Composite Services Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki. A Formal Approach for Cloud Composite Services Verification. In 11th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2018, Paris, France, November 20-22, 2018. pages 161-168, IEEE Computer Society, 2018. [doi]

This author has not been identified. Look up 'Aida Lahouij' in GoogleThis 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 'Mohammed El Malki' in Google

runs on WebDSL