Embedding and Verification of ZigBee Protocol Stack in Event-B.
Amjad GawanmehPublished in: ANT/MobiWIS (2011)
Keyphrases
- protocol stack
- wireless communication
- wireless networks
- wireless sensor networks
- embedded systems
- communication networks
- communication protocols
- computer simulation
- monitoring system
- low cost
- low power
- insider attacks
- data acquisition
- software engineering
- smart home
- wifi
- energy efficient
- tcp ip
- artificial intelligence