Towards an Approach of Formal Verification of Web Service Composition - Distributed Systems, Software Engineering and Middleware group
Article Dans Une Revue International Journal On Advances in Intelligent Systems Année : 2011

Towards an Approach of Formal Verification of Web Service Composition

Mohamed Graiet
  • Fonction : Auteur
  • PersonId : 843850
Mourad Kmimech
CV
Lazhar Hamel
Mohamed Tahar Bhiri
  • Fonction : Auteur
Walid Gaaloul
Télécom SudParis
Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
Institut Polytechnique de Paris
Département Informatique
CV
Raoudha Maraoui
  • Fonction : Auteur
  • PersonId : 1375186
ESME - École spéciale de mécanique et d'électricité

Domaines

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

Raouda Maraoui Kamoun  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04547233

Soumis le : lundi 15 avril 2024-16:15:36

Dernière modification le : mardi 17 septembre 2024-15:51:50

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TELECOM-SUDPARIS TSP-DISSEM TSP-DIEGO INSTITUT-MINES-TELECOM
130 Consultations
13 Téléchargements

Partager

More