LIU Jing-Yu
School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing 210094, ChinaLI Xuan-Song
School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing 210094, China;State Key Laboratory for Novel Software Technology at Nanjing University, Nanjing 210023, ChinaCHEN Zhi-Fei
School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing 210094, China;State Key Laboratory for Novel Software Technology at Nanjing University, Nanjing 210023, ChinaYE Hai-Bo
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, ChinaSONG Wei
School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing 210094, ChinaTP311
刘靖宇,李晅松,陈芝菲,叶海波,宋巍.面向物联网设备移动与通信行为的建模及验证.软件学报,2024,35(11):4993-5015
Copy