Specification and verification of views over composite Webservices using high level Petri-Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Specification and verification of views over composite Webservices using high level Petri-Nets

Fichier non déposé

Dates et versions

hal-00405002 , version 1 (17-07-2009)

Identifiants

  • HAL Id : hal-00405002 , version 1

Citer

K. Boukadi, Chirine Ghedira, Z. Maamar, D. Benslimane. Specification and verification of views over composite Webservices using high level Petri-Nets. 9th International Conference on Enterprise Information System (ICEIS 07), Jun 2007, Madeira, Portugal. pp.107-112. ⟨hal-00405002⟩
181 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More