Quantitative Survivability Analysis Using Probability Model Checking: A Study of Cluster-Based Vehicle Networks with Dual Cluster Heads

ISSN 1673-5447 CN 11-5439/TN

Quantitative Survivability Analysis Using Probability Model Checking: A Study of Cluster-Based Vehicle Networks with Dual Cluster Heads

Li Jin, Guoan Zhang, Jue Wang, Hao Zhu, Wei Duan

China Communications . 2020, (2): 206 -219 .