Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network.
Sajeh ZairiAnis MezniBelhassen ZouariPublished in: WWIC (2015)
Keyphrases
- wireless sensor
- network management
- network structure
- wireless sensor networks
- peer to peer
- network traffic
- model checking
- formal methods
- communication networks
- computer networks
- information systems
- databases
- low cost
- sensor networks
- mobile devices
- fault tolerance
- digital libraries
- wireless communication
- data streams
- social networks