External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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 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]

Authors

Luciana Pereira Oliveira

This author has not been identified. Look up 'Luciana Pereira Oliveira' in Google

Arley Willer Neves da Silva

This author has not been identified. Look up 'Arley Willer Neves da Silva' in Google

Lucas Pereira de Azevedo

This author has not been identified. Look up 'Lucas Pereira de Azevedo' in Google

Maria Vitória Lima da Silva

This author has not been identified. Look up 'Maria Vitória Lima da Silva' in Google
runs on