Imene Ben Hafaiedh. Formal models for the verification, performance evaluation, and comparison of IoT communication protocols. In Michele Colajanni, Luca Ferretti, Miguel L. Pardal, Dimiter R. Avresky, editors, 21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022. pages 131-138, IEEE, 2022. [doi]
Abstract is missing.