Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen. Battery Aware Analysis of Sensor Networks in Uppaal SMC. In 10th Mediterranean Conference on Embedded Computing, MECO 2021, Budva, Montenegro, June 7-10, 2021. pages 1-6, IEEE, 2021. [doi]
Abstract is missing.