Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks.
Amjad GawanmehYoussef IraqiPublished in: ICCS (2016)
Keyphrases
- formal analysis
- wireless personal area networks
- low rate
- high data rate
- high rate
- collision avoidance
- low complexity
- formal methods
- high speed
- high capacity
- false negative
- artificial intelligence
- software implementation
- dos attacks
- agent model
- wireless communication
- expert systems
- mobile agents
- ban logic
- data management