Formalization and Verification of VANET.

Ran Li Huibiao Zhu Lili Xiao Jiaqi Yin Yuan Fei Gang Lu

Published in: SEKE (2020)

Keyphrases

formal analysis
model checking
face verification
vehicular ad hoc networks
knowledge representation
signature verification
formal model
asynchronous circuits
website
clustering algorithm
multi agent systems
decision making
information systems
machine learning
formal methods
data mining
high security
data sets