A Sghaier, A Medeb - Informatica, 2023 - informatica.si
In recent years, wireless sensor networks have witnessed tremendous advancements due to a reduction in development costs. This rapid growth of WSN gave rise to a variety of …
A Sghaier, A Meddeb - 2018 International Conference on Smart …, 2018 - ieeexplore.ieee.org
Within the framework of real time protocols for sensor networks, applying formal verification techniques can provide time guarantees and ensure the proper functioning of the protocols …