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

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

Full description

Saved in:
Bibliographic Details
Main Authors: Patrick Sondi, Imed Abbassi, Eric Ramat, Emna Chebbi, Mohamed Graiet
Format: article
Language:EN
Published: Nature Portfolio 2021
Subjects:
Medicine
R
Science
Q
Online Access:https://doaj.org/article/5c0b19e8c76d4e599cc43d32b725c841
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items