Modeling and Verifying NDN-based IoV Using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan-fei, Ningning Chen. Modeling and Verifying NDN-based IoV Using CSP. In Raúl García-Castro, editor, The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020. pages 31-36, KSI Research Inc., 2020. [doi]

This 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 'Lili Xiao' in GoogleThis author has not been identified. Look up 'Yuan-fei' in GoogleThis author has not been identified. Look up 'Ningning Chen' in Google

runs on WebDSL