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]
@inproceedings{ZhangHG15,
title = {VeRV: A temporal and data-concerned verification framework for the vehicle bus systems},
author = {Shuo Zhang and Fei He and Ming Gu},
year = {2015},
doi = {10.1109/INFOCOM.2015.7218491},
url = {http://dx.doi.org/10.1109/INFOCOM.2015.7218491},
researchr = {https://researchr.org/publication/ZhangHG15},
cites = {0},
citedby = {0},
pages = {1167-1175},
booktitle = {2015 IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015},
publisher = {IEEE},
isbn = {978-1-4799-8381-0},
}