Skip to content
cs-conference-ranking.org

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.

Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb

VenueA*CAV
Year2018
ProceedingsCAV (2)
DBLP recordconf/cav/TullsenPCT18 ↗

Browse the full CAV paper archive.