Design and verification for transportation system security

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]

Authors

Bowen Zheng

This author has not been identified. Look up 'Bowen Zheng' in Google

Wenchao Li

This author has not been identified. Look up 'Wenchao Li' in Google

Peng Deng

This author has not been identified. Look up 'Peng Deng' in Google

Léonard Gérard

This author has not been identified. Look up 'Léonard Gérard' in Google

Qi Zhu

This author has not been identified. Look up 'Qi Zhu' in Google

Natarajan Shankar

This author has not been identified. Look up 'Natarajan Shankar' in Google