A formal analysis of bluetooth device discovery.

Marie Duflot Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases

formal analysis
mobile terminals
cellular phone
knowledge discovery
formal methods
mobile phone
agent model
wifi
discovery process
ban logic
multi hop
machine learning
artificial intelligence
knowledge based systems
model checking
ubiquitous computing