Skip to Main content Skip to Navigation
Conference papers

A mediation based approach for formal verification of web services composition

Raoudha Maraoui 1 Eric Cariou 2
1 MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory
2 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
Document type :
Conference papers
Complete list of metadata
https://hal-univ-pau.archives-ouvertes.fr/hal-02507291
Contributor : Eric Cariou <>
Submitted on : Thursday, March 12, 2020 - 11:11:45 PM
Last modification on : Wednesday, June 24, 2020 - 3:30:40 AM

Identifiers

Collections

UNIV-PAU | LIUPPA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

97