A new mobility and energy harvesting aware medium access control (meh-mac) protocol: Modelling and performance evaluation
Existing medium access control (MAC) protocols have always considered the energy-
harvesting aspect and mobility aspect separately. Thus, in literature, there is no MAC …
harvesting aspect and mobility aspect separately. Thus, in literature, there is no MAC …
Intégration des méthodes formelles dans le développement des RCSFs
Z Hmidi - 2023 - thesis.univ-biskra.dz
In this thesis, we have relied on formal techniques in order to first evaluate WSN protocols
and then to propose solutions that meet the requirements of these networks. The thesis …
and then to propose solutions that meet the requirements of these networks. The thesis …