Model-Based Membership Verification in Vehicular Platoons.

Published in: DSN Workshops (2015)

Keyphrases

model checking
real world
information systems
fingerprint verification
computer vision
formal analysis
artificial intelligence
website
traffic flow