A Formal Analysis of Bluetooth Device Discovery.

Marie Duflot Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

formal analysis
cellular phone
mobile terminals
formal methods
mobile phone
ubiquitous computing
short range
ban logic
knowledge discovery
agent model
low cost
discovery process
software engineering
business process
wifi
multi hop
mobile devices
artificial intelligence