Relevance-based verification of VANET safety messages.

Subir Biswas Jelena V. Misic

Published in: ICC (2012)

Keyphrases

vehicular ad hoc networks
email
model checking
information retrieval
safety analysis
signature verification
formal verification
neural network
case study
control system
relevance feedback
safety critical
data sets
nuclear power plant
text messages