Design and verification for transportation system security.

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

Published in: DAC (2015)

Keyphrases

case study
model checking
formal methods
user interface
computer aided
design tools
security issues
functional requirements
decision making
database systems
knowledge based systems
design process
engineering design
computer security
high security