Formal modelling and verification of scalable service composition in IoT environment
Crossref DOI link: https://doi.org/10.1007/s11761-023-00363-x
Published Online: 2023-05-18
Published Print: 2023-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Toman, Sarah Hussein http://orcid.org/0000-0002-4318-4415
Hamel, Lazhar
Toman, Zinah Hussein
Graiet, Mohamed
Ouchani, Samir
Text and Data Mining valid from 2023-05-18
Version of Record valid from 2023-05-18
Article History
Received: 6 July 2022
Revised: 13 February 2023
Accepted: 10 April 2023
First Online: 18 May 2023