Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks ^†

Author： Imran Muhammad Zafar Nazir Ahmad

Publisher： MDPI

E-ISSN： 1424-8220|12|9|11754-11781

ISSN： 1424-8220

Source： Sensors, Vol.12, Iss.9, 2012-08, pp. : 11754-11781

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An Autonomous Connectivity Restoration Algorithm Based on Finite State Machine for Wireless Sensor-Actor Networks

By Zhang Ying Wang Jun Hao Guan

Sensors, Vol. 18, Iss. 1, 2018-01 ,pp. : 153-153

MDPI

Access to resources Recommend Favorite

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

By Martínez Diego González Apolinar Blanes Francisco Aquino Raúl Simo José Crespo Alfons

Sensors, Vol. 11, Iss. 1, 2011-01 ,pp. : 1059-1077

MDPI

Access to resources Recommend Favorite

Adaptive Connectivity Restoration from Node Failure(s) in Wireless Sensor Networks

By Wang Huaiyuan Ding Xu Huang Cheng Wu Xiaobei

Sensors, Vol. 16, Iss. 10, 2016-09 ,pp. : 1487-1487

MDPI

Access to resources Recommend Favorite

Fault-Tolerant Algorithms for Connectivity Restoration in Wireless Sensor Networks

By Zeng Yali Xu Li Chen Zhide

Sensors, Vol. 16, Iss. 1, 2015-12 ,pp. : 3-3

MDPI

Access to resources Recommend Favorite

A Hybrid Adaptive Routing Algorithm for Event-Driven Wireless Sensor Networks

By Figueiredo Carlos M. S. Nakamura Eduardo F. Loureiro Antonio A. F.

Sensors, Vol. 9, Iss. 9, 2009-09 ,pp. : 7287-7307

MDPI

Access to resources Recommend Favorite