Design and verification for transportation system security

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 07, 2015
Source ID
10.1145/2744769.2747920

Entities

People

  • Bowen Zheng
  • Léonard Gérard
  • Natarajan Shankar
  • Peng Deng
  • Qi Zhu
  • Wenchao Li

Organizations

  • Defense Advanced Research Projects Agency
  • National Aeronautics and Space Administration
  • National Science Foundation
  • Office of Naval Research
  • SRI International
  • University of California, Riverside