Modeling and dynamic analysis for a kind of transportation system.

Yun-xiang Han Xiao-qiong Huang Xinmin Tang Songchen Han

Published in: J. Oper. Res. Soc. (2018)

Keyphrases

dynamic analysis
static analysis
reverse engineering
malicious behavior
model checking
data sets
relational databases
transportation systems