Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.

Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun

Browse the full TrustCom paper archive.