![](/img/cover-not-exists.png)
Probabilistic model checking-based survivability analysis in vehicle-to-vehicle networks
Jin, Li, Zhang, Guoan, Wang, JueVolume:
15
Language:
english
Journal:
China Communications
DOI:
10.1109/CC.2018.8290811
Date:
January, 2018
File:
PDF, 809 KB
english, 2018