Modeling and verifying NDN-based IoV using CSP

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan-fei, Lili Xiao, Minghua Zhu. Modeling and verifying NDN-based IoV using CSP. Journal of Software Maintenance, 34(10), 2022. [doi]

Abstract

Abstract is missing.