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

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

Domaines

Informatique [cs]

Grégory Six  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00405002

Soumis le : vendredi 17 juillet 2009-15:34:33

Dernière modification le : mercredi 4 septembre 2024-17:34:06

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EMSE CNRS UNIV-LYON1 UNIV-LYON2 INSA-LYON EC-LYON G2I-ENSMSE OMSI-ENSMSE UR-LSTI-ENSMSE MESPROD-ENSMSE LIRIS LABEXIMU INSA-GROUPE UDL
195 Consultations
0 Téléchargements

Partager

More