Towards an Approach of Formal Verification of Web Service Composition - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal On Advances in Intelligent Systems Année : 2011

Towards an Approach of Formal Verification of Web Service Composition

Fichier principal
Vignette du fichier
journal_ijais.pdf (377.21 Ko) Télécharger le fichier
Origine : Publication financée par une institution

Dates et versions

hal-04547233 , version 1 (15-04-2024)

Identifiants

  • HAL Id : hal-04547233 , version 1

Citer

Mohamed Graiet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems, 2011. ⟨hal-04547233⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More