Expedited Beacon Verification for VANET.

Hongyu Jin Panos Papadimitratos

Published in: WISEC (2018)

Keyphrases

vehicular ad hoc networks
model checking
wireless sensor networks
data sets
formal verification
case study
face verification
database
formal analysis
localization algorithm
verification method
real world
temporal logic
formal methods
asynchronous circuits
high security