Conference Papers
Year :
Eric Cariou : Connect in order to contact the contributor
https://univ-pau.hal.science/hal-02507291
Submitted on : Thursday, March 12, 2020-11:11:45 PM
Last modification on : Monday, November 7, 2022-5:24:33 PM
Cite
Raoudha Maraoui, Eric Cariou. A mediation based approach for formal verification of web services composition. 2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩. ⟨hal-02507291⟩
22
View
0
Download