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

ver descrição completa

Detalhes bibliográficos
Principais autores: Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali, Eman H. Alkhammash
Formato: Artigo
Idioma:English
Publicado em: MDPI AG 2022-01-01
coleção:Energies
Assuntos:
Acesso em linha:https://www.mdpi.com/1996-1073/15/3/1013