scholarly journals Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks

Sensors ◽  
2012 ◽  
Vol 12 (9) ◽  
pp. 11754-11781 ◽  
Author(s):  
Muhammad Imran ◽  
Nazir Ahmad Zafar
Author(s):  
Ke Yan ◽  
Guangchun Luo ◽  
Ling Tian ◽  
Qi Jia ◽  
Chengzong Peng

Author(s):  
Muhammad Kashif Saeed ◽  
Mahmood ul Hassan ◽  
Khalid Mahmood ◽  
Ansar Munir Shah ◽  
Jahangir Khan

Sign in / Sign up

Export Citation Format

Share Document