Table of Contents Author Guidelines Submit a Manuscript
Journal of Sensors
Volume 2015 (2015), Article ID 716561, 7 pages
http://dx.doi.org/10.1155/2015/716561
Research Article

Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks

Zhi Chen,1,2,3 Ya Peng,1,2 and Wenjing Yue2,4

1College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China
2Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China
3State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China
4College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China

Received 7 February 2015; Revised 26 May 2015; Accepted 27 May 2015

Academic Editor: Jesus Corres

Copyright © 2015 Zhi Chen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Zhi Chen, Ya Peng, and Wenjing Yue, “Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks,” Journal of Sensors, vol. 2015, Article ID 716561, 7 pages, 2015. doi:10.1155/2015/716561