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...
Principais autores: | , , , |
---|---|
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 |