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]
@inproceedings{OliveiraSAS21,
title = {Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review},
author = {Luciana Pereira Oliveira and Arley Willer Neves da Silva and Lucas Pereira de Azevedo and Maria Vitória Lima da Silva},
year = {2021},
doi = {10.1007/978-3-030-75078-7_28},
url = {https://doi.org/10.1007/978-3-030-75078-7_28},
researchr = {https://researchr.org/publication/OliveiraSAS21},
cites = {0},
citedby = {0},
pages = {270-279},
booktitle = {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},
editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido},
volume = {227},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-030-75078-7},
}