VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.

Shuo Zhang, Fei He, Ming Gu

Browse the full INFOCOM paper archive.