Scrutinizing Performance of Ad Hoc Routing Protocols on Wireless Sensor Networks

2009 ◽  
Author(s):  
Zhongwei Zhang ◽  
Hong Zhou ◽  
Jason Gao
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Routing Protocols ◽  
Ad Hoc ◽  
Wireless Sensor ◽  
Ad Hoc Routing

scholarly journals A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

2013 ◽  
Vol 11 (5) ◽  
pp. 752-764 ◽  
Author(s):  
Zhe Chen ◽  
Daqiang Zhang ◽  
Rongbo Zhu ◽  
Yinxue Ma ◽  
Ping Yin ◽  
...  
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Formal Verification ◽  
Routing Protocols ◽  
Ad Hoc ◽  
Wireless Sensor ◽  
Ad Hoc Routing
Sign in / Sign up

Export Citation Format

Share Document