Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Idir Ait-Sadoune

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

  • Idir Ait-Sadoune, Yamine Ait Ameur. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Dans : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, p. 1-33, mars 2013.
    BibTeX