A Formal Model for the Chain-Branch-Leaf Clustering Scheme in OLSR based Vehicular Ad hoc Networks using Event-B.
Emna ChebbiPatrick SondiÉric RamatPublished in: ANT/EDI40 (2019)
Keyphrases
- formal model
- vehicular ad hoc networks
- clustering scheme
- routing protocol
- ad hoc networks
- network topology
- clustering algorithm
- routing algorithm
- wireless sensor networks
- energy consumption
- data dissemination
- data transmission
- energy efficient
- sensor networks
- mobile ad hoc networks
- security properties
- data delivery
- news articles
- energy efficiency
- database systems
- databases
- mobile nodes