Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B

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 clustering f...

Descripción completa

Detalles Bibliográficos
Autores principales: Sondi, Patrick, Abbassi, Imed, Ramat, Eric, Chebbi, Emna, Graiet, Mohamed
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Nature Publishing Group UK 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8413332/
https://www.ncbi.nlm.nih.gov/pubmed/34475466
http://dx.doi.org/10.1038/s41598-021-97063-3

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8413332/
https://www.ncbi.nlm.nih.gov/pubmed/34475466
http://dx.doi.org/10.1038/s41598-021-97063-3

Ejemplares similares