Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement

Fichier non déposé

Dates et versions

hal-04161854 , version 1 (13-07-2023)

Identifiants

  • HAL Id : hal-04161854 , version 1

Citer

Idir Ait-Sadoune. Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement. Proc. Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2010), May 2010, La Rochelle, France. ⟨hal-04161854⟩
6 Consultations
0 Téléchargements

Partager

More