Wei Lin, Sini Chen, Huibiao Zhu. Formalization and Verification of MQTT-SN Communication Using CSP. In Jan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Volume 14390 of Lecture Notes in Computer Science, pages 115-132, Springer, 2023. [doi]
Abstract is missing.