A hierarchical formal method for performance evaluation of WSNs protocol
Crossref DOI link: https://doi.org/10.1007/s00607-020-00898-3
Published Online: 2021-01-29
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zroug, Siham http://orcid.org/0000-0001-8239-0302
Kahloul, Laid
Benharzallah, Saber
Djouani, Karim http://orcid.org/0000-0001-6060-8200
Text and Data Mining valid from 2021-01-29
Version of Record valid from 2021-01-29
Article History
Received: 28 June 2020
Accepted: 23 December 2020
First Online: 29 January 2021