Specification and Verification of Position Based Routing for Mobile Ad Hoc System.
Jinkui XieLinpeng HuangPublished in: CIT (2005)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- mobile devices
- packet transmission
- mobile phone
- network topology
- model checking
- routing protocol
- protocol specification
- mobile environments
- high level
- mobile learning
- mobile networks
- routing problem
- mobile computing
- mobile applications
- position information
- mobile communication
- specification language
- shortest path
- mobile technologies
- context aware
- wireless ad hoc networks
- m learning
- wireless link
- inter domain
- mobile wireless
- ad hoc networks
- mobile services
- mobile ad hoc networks
- smart phones
- network topologies
- network connectivity
- network infrastructure
- position and orientation