A mediation based approach for formal verification of web services composition - Université de Pau et des Pays de l'Adour Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A mediation based approach for formal verification of web services composition

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Collections

UNIV-PAU LIUPPA
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More