Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks †
Imran, M.; Zafar, N.A. Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks. Sensors 2012, 12, 11754-11781. https://doi.org/10.3390/s120911754
Imran M, Zafar NA. Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks. Sensors. 2012; 12(9):11754-11781. https://doi.org/10.3390/s120911754
Chicago/Turabian StyleImran, Muhammad, and Nazir Ahmad Zafar. 2012. "Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks" Sensors 12, no. 9: 11754-11781. https://doi.org/10.3390/s120911754