A mediation based approach for formal verification of web services composition - Archive ouverte HAL Access content directly
Conference Papers Year :

A mediation based approach for formal verification of web services composition

(1) , (2)
1
2

Domains

Computer Science [cs] Software Engineering [cs.SE]

Eric Cariou  : Connect in order to contact the contributor

https://hal-univ-pau.archives-ouvertes.fr/hal-02507291

Submitted on : Thursday, March 12, 2020-11:11:45 PM

Last modification on : Monday, November 7, 2022-5:24:33 PM

Not file

Dates and versions

hal-02507291 , version 1 (12-03-2020)

Identifiers

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PAU LIUPPA
22 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More