Modeling and verifying NDN-based IoV using CSP[J] JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2021 Chen, Ningning Zhu, Huibiao Yin, Jiaqi Fei, Yuan Xiao, Lili Zhu, Minghua
Computing Offloading and Resource Optimization of Adaptive Data Block Size in Edge Environments[J] AUTOMATIC CONTROL AND COMPUTER SCIENCES 2022(56) Liu, Yanpei Zhu, Qi Chen, Ningning Zhu, Yunjing Wang, Liping
