Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar. Design and verification for transportation system security. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 96, ACM, 2015. [doi]
@inproceedings{ZhengLDGZS15,
title = {Design and verification for transportation system security},
author = {Bowen Zheng and Wenchao Li and Peng Deng and Léonard Gérard and Qi Zhu and Natarajan Shankar},
year = {2015},
doi = {10.1145/2744769.2747920},
url = {http://doi.acm.org/10.1145/2744769.2747920},
researchr = {https://researchr.org/publication/ZhengLDGZS15},
cites = {0},
citedby = {0},
pages = {96},
booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015},
publisher = {ACM},
isbn = {978-1-4503-3520-1},
}