Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks.
Muhammad ImranNazir Ahmad ZafarPublished in: Sensors (2012)
Keyphrases
- formal specification
- wireless sensor
- restoration algorithm
- model checking
- image restoration
- wireless sensor networks
- sensor networks
- reverse engineering
- network management
- software components
- social networks
- energy efficiency
- low cost
- data center
- reconstructed image
- network structure
- software development
- data model
- real time