Luciana Pereira Oliveira, Arley Willer Neves da Silva, Lucas Pereira de Azevedo, Maria Vitória Lima da Silva. Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review. In Leonard Barolli, Isaac Woungang, Tomoya Enokido, editors, Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 3. Volume 227 of Lecture Notes in Networks and Systems, pages 270-279, Springer, 2021. [doi]
Abstract is missing.