Formal modelling of a robust Wireless Sensor Network routing protocol

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane. Formal modelling of a robust Wireless Sensor Network routing protocol. In Tughrul Arslan, Didier Keymeulen, David Merodio, Khaled Benkrid, Ahmet T. Erdogan, Umeshkumar D. Patel, editors, 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010, Anaheim, California, USA, June 15-18, 2010. pages 281-288, IEEE, 2010. [doi]

Authors

Kashif Saghar

This author has not been identified. Look up 'Kashif Saghar' in Google

William Henderson

This author has not been identified. Look up 'William Henderson' in Google

David Kendall

This author has not been identified. Look up 'David Kendall' in Google

Ahmed Bouridane

This author has not been identified. Look up 'Ahmed Bouridane' in Google