Specification verification and validation of wireless sensor network model for environment monitoring.
R. JaichandranA. Anthony IrudhayarajPublished in: ACWR (2011)
Keyphrases
- wireless sensor
- network model
- wireless sensor networks
- sensor networks
- network management
- fault tolerance
- energy efficiency
- immune algorithm
- wireless lan
- network security
- neural network
- base station
- wireless communication
- gene regulatory networks
- formal verification
- energy consumption
- data collection
- fault tolerant
- real time
- model checking
- computer simulation