Existing medium access control (MAC) protocols have always considered the energy- harvesting aspect and mobility aspect separately. Thus, in literature, there is no MAC …
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 …