Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks
In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system\'s properties based on the system\'s finite state model. For varying applications like computers and wireless commun...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Mehran University of Engineering and Technology
2012-01-01
|
| Series: | Mehran University Research Journal of Engineering and Technology |
| Subjects: | |
| Online Access: | http://publications.muet.edu.pk/research_papers/pdf/pdf216.pdf |