Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
Abstract Vehicular ad hoc network (VANET) routing protocols resort to clustering in order to optimize broadcast traffic flooding. Clustering schemes usually rely on rules which apply to each vehicle in order to reach a targeted organization in a VANET. Most of the literature works which evaluate clu...
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | article |
| Langue: | EN |
| Publié: |
Nature Portfolio
2021
|
| Sujets: | |
| Accès en ligne: | https://doaj.org/article/5c0b19e8c76d4e599cc43d32b725c841 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|