An evaluative review of the formal verification for vanet protocols
Vehicular ad-hoc networks (VANETs) technology has become an active research area over
the last few years. It has a huge potential to improve traffic efficiency, road safety as well as …
the last few years. It has a huge potential to improve traffic efficiency, road safety as well as …
[HTML][HTML] A novel routing and hybrid based clustering scheme in vehicular adhoc networks
RD Folsom, K Aravindhan, KT Sikamani - International Journal of Intelligent …, 2021 - Elsevier
The intention of this research is to design a new Novel Routing and Hybrid based Clustering
Scheme (NRHCS) for VANETs. The vehicle link counts, and vehicle displacement is …
Scheme (NRHCS) for VANETs. The vehicle link counts, and vehicle displacement is …
Modèle d'auto-organisation pour les protocoles de routage dans les réseaux ad hoc de véhicules: application à la perception élargie et à la localisation coopératives
L Rivoirard - 2018 - hal.science
Automatiser la conduite peut réduire le risque d'accidents et fluidifier le trafic en s' appuyant
sur des communications entre véhicules et avec une infrastructure dédiée. Maintenir les …
sur des communications entre véhicules et avec une infrastructure dédiée. Maintenir les …
A formal model for the chain-branch-leaf clustering scheme in OLSR based vehicular ad hoc networks using Event-B
Abstract Evolution of Intelligent Transportation Systems (ITS) towards connected and
autonomous vehicles requires robust communication protocols with proven or at least …
autonomous vehicles requires robust communication protocols with proven or at least …
[PDF][PDF] Enhancing social based routing approach using grey Wolf optimization in vehicular ADHOC networks
S Sharma, S Kad - International Journal of Computer Applications, 2019 - researchgate.net
ABSTRACT VANET (Vehicular ad-hoc network) is a formation of intelligent vehicles with the
plan to defeat the transportation issue and consequently diminishes the accident proportion …
plan to defeat the transportation issue and consequently diminishes the accident proportion …
[图书][B] Design and Evaluation of Ad Hoc Routing Protocol
Design and Evaluation of Ad Hoc Routing Protocol examines ad hoc communications
between vehicles in a road environment. In this context, the book questions the sustainability …
between vehicles in a road environment. In this context, the book questions the sustainability …
A survey on secure routing strategies in VANETs
VANETS (vehicular ad hoc networks) have evolved from MANETS (mobile ad hoc networks)
but facing more challenges because of the self-configuration, deployment and routing …
but facing more challenges because of the self-configuration, deployment and routing …
ERP virtual simulation experiment teaching platform based on UFIDA cloud computing
W Huang, Q Chen - Education Research Frontier, 2020 - ivypub.org
Economic Management Professional Academic Education are increasingly becoming
personalization, intelligence and application. Colleges and universities should actively use …
personalization, intelligence and application. Colleges and universities should actively use …
[PDF][PDF] From Formal Modeling to Discrete Event Simulation: Application to the Design and Evaluation of a Routing Protocol for Vehicular Ad Hoc Networks
Simulation studies on ITS-dedicated routing protocols usually focus on their performance in
specific scenarios. However, the evolution of transportation systems towards autonomous …
specific scenarios. However, the evolution of transportation systems towards autonomous …
De la modélisation formelle à la simulation à évènements discrets: application à la conception et à l'évaluation de protocoles sûrs et sécurisés pour les …
E Chebbi - 2019 - theses.hal.science
La conception de protocoles de communication repose généralement sur des modèles
fonctionnels élaborés à partir des besoins du système. Dans les systèmes de transport …
fonctionnels élaborés à partir des besoins du système. Dans les systèmes de transport …