Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar
Design and verification for transportation system security
DAC, 2015.
@inproceedings{DAC-2015-ZhengLDGZS,
author = "Bowen Zheng and Wenchao Li and Peng Deng and Léonard Gérard and Qi Zhu and Natarajan Shankar",
booktitle = "{Proceedings of the 52nd Annual Design Automation Conference}",
doi = "10.1145/2744769.2747920",
isbn = "978-1-4503-3520-1",
pages = "6",
publisher = "{ACM}",
title = "{Design and verification for transportation system security}",
year = 2015,
}