Modeling and Verifying NDN-based IoV Using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei

Browse the full SEKE paper archive.