Towards Formal Modeling of Hotspot Issue by Watch-Man Nodes in Wireless Sensor and Actor Network.

Muhammad Umar Draz, Tariq Ali, Sana Yasin, Umair Waqas

Browse the full FIT paper archive.