Formal techniques for consistency checking of orchestrations of semantic Web services - Université Paris-Est-Créteil-Val-de-Marne Accéder directement au contenu
Article Dans Une Revue Journal of computational science Année : 2020

Formal techniques for consistency checking of orchestrations of semantic Web services

Domaines

Informatique [cs]

lynda mokdad  : Connectez-vous pour contacter le contributeur

https://hal.u-pec.fr/hal-04030305

Soumis le : mercredi 15 mars 2023-14:35:29

Dernière modification le : jeudi 16 mars 2023-03:15:41

Fichier non déposé

Dates et versions

hal-04030305 , version 1 (15-03-2023)

Identifiants

Citer

Youcef Hammal, Khadidja Salah Mansour, Abdelkrim Abdelli, Lynda Mokdad. Formal techniques for consistency checking of orchestrations of semantic Web services. Journal of computational science, 2020, 44, pp.101165. ⟨10.1016/j.jocs.2020.101165⟩. ⟨hal-04030305⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More