Formal Analysis of Energy Consumption in IoT Systems

Oualid Demigha, Chamseddine Khalfi. Formal Analysis of Energy Consumption in IoT Systems. In Muthu Ramachandran, Robert John Walters, Gary Wills, Víctor Méndez Muñoz, Victor Chang 0001, editors, Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, IoTBDS 2019, Heraklion, Crete, Greece, May 2-4, 2019. pages 103-114, SciTePress, 2019. [doi]

Authors

Oualid Demigha

This author has not been identified. Look up 'Oualid Demigha' in Google

Chamseddine Khalfi

This author has not been identified. Look up 'Chamseddine Khalfi' in Google