Modeling and verifying NDN-based IoV using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ningning Chen' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Jiaqi Yin' in GoogleThis author has not been identified. Look up 'Yuan-fei' in GoogleThis author has not been identified. Look up 'Lili Xiao' in GoogleThis author has not been identified. Look up 'Minghua Zhu' in Google

runs on WebDSL