Quantitative Modeling and Verification of VANET.
Autor: | Liu, Jing, Wang, Xiaoyan, Liu, Shufen, Lu, Han, Tong, Jing |
---|---|
Zdroj: | Frontier & Future Development of Information Technology in Medicine & Education; 2014, p2743-2748, 6p |
Databáze: | Complementary Index |
Externí odkaz: |