Formal specification and validation of refinement from WS-CDL to BPEL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad. Formal specification and validation of refinement from WS-CDL to BPEL. In 2019 IEEE Symposium on Computers and Communications, ISCC 2019, Barcelona, Spain, June 29 - July 3, 2019. pages 1016-1021, IEEE, 2019. [doi]

This author has not been identified. Look up 'Khadidja Salah-Mansour' in GoogleThis author has not been identified. Look up 'Youcef Hammal' in GoogleThis author has not been identified. Look up 'Lynda Mokdad' in Google

runs on WebDSL