Formal modelling and verification of scalable service composition in IoT environment - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Service Oriented Computing and Applications Année : 2023
Fichier non déposé

Dates et versions

hal-04108552 , version 1 (27-05-2023)

Identifiants

Citer

Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani. Formal modelling and verification of scalable service composition in IoT environment. Service Oriented Computing and Applications, 2023, ⟨10.1007/s11761-023-00363-x⟩. ⟨hal-04108552⟩
64 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More