%0 Conference Paper %1 conf/aina/OliveiraSAS21 %A Oliveira, Luciana Pereira %A da Silva, Arley Willer Neves %A de Azevedo, Lucas Pereira %A da Silva, Maria Vitória Lima %B AINA (3) %D 2021 %E Barolli, Leonard %E Woungang, Isaac %E Enokido, Tomoya %I Springer %K dblp %P 270-279 %T Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review. %U http://dblp.uni-trier.de/db/conf/aina/aina2021-3.html#OliveiraSAS21 %V 227 %@ 978-3-030-75078-7

@inproceedings{conf/aina/OliveiraSAS21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Oliveira, Luciana Pereira and da Silva, Arley Willer Neves and de Azevedo, Lucas Pereira and da Silva, Maria Vitória Lima}, biburl = {https://www.bibsonomy.org/bibtex/2c4f62cb73d6fc3bd6aa82bffb82447de/dblp}, booktitle = {AINA (3)}, crossref = {conf/aina/2021-3}, editor = {Barolli, Leonard and Woungang, Isaac and Enokido, Tomoya}, ee = {https://doi.org/10.1007/978-3-030-75078-7_28}, interhash = {6ad330dd9a021d4efccc3e26b9b66c17}, intrahash = {c4f62cb73d6fc3bd6aa82bffb82447de}, isbn = {978-3-030-75078-7}, keywords = {dblp}, pages = {270-279}, publisher = {Springer}, series = {Lecture Notes in Networks and Systems}, timestamp = {2024-04-10T00:20:36.000+0200}, title = {Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review.}, url = {http://dblp.uni-trier.de/db/conf/aina/aina2021-3.html#OliveiraSAS21}, volume = 227, year = 2021 }