Formal Verification of Device Discovery Mechanism using UPPAAL

Abstract

Wireless communication among the mobile devices is the growing area of research. Ad hoc networks are created among them for exchanging information over the small distances. The distance among the devices uniquely determines the topology of these ad hoc networks. Bluetooth is a low-cost and low-power wireless technology used to form short-range wireless ad… (More)

Topics

5 Figures and Tables

Slides referencing similar topics