Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review.

Luciana Pereira Oliveira, Arley Willer Neves da Silva, Lucas Pereira de Azevedo, Maria Vitria Lima da Silva

Browse the full AINA paper archive.