Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL

VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology. There are various applications of VANETs that are classified on the basis of safety, efficiency, commercial usage, and productive areas. This paper presents an IoT-based form...

Full description

Bibliographic Details
Main Authors: Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali, Eman H. Alkhammash
Format: Article
Language:English
Published: MDPI AG 2022-01-01
Series:Energies
Subjects:
VANETs
IoT
fog-based RSUs
formal methods
verification and validation
Online Access:https://www.mdpi.com/1996-1073/15/3/1013

Similar Items

Similar Items