Shuo Zhang, Fei He, Ming Gu. VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. In 2015 IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015. pages 1167-1175, IEEE, 2015. [doi]
Abstract is missing.