Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks
Accurate and reliable routing protocols with Quality of Service (QoS) support determine the mission-critical application efficiency in WSNs. This paper proposes a model-checking design driven framework for designing the QoS-based routing protocols of WSNs, which involves the light-weight design proc...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2015-01-01
|
| Series: | Journal of Sensors |
| Online Access: | http://dx.doi.org/10.1155/2015/716561 |