刘靖宇(1996-), 男, 硕士生, CCF学生会员, 主要研究领域为形式化技术. ;李晅松(1985-), 男, 博士, 副教授, CCF专业会员, 主要研究领域为软件方法学, 形式化技术, 普适计算技术, 物联网安全. ;陈芝菲(1990-), 女, 博士, 副教授, CCF专业会员, 主要研究领域为程序分析, 软件测试, 软件维护. ;叶海波(1987-), 男, 博士, 副教授, CCF专业会员, 主要研究领域为普适计算, 物联网. ;宋巍(1981-), 男, 博士, 教授, 博士生导师, CCF杰出会员, 主要研究领域为软件工程与方法学, 形式化方法, 服务计算.
李晅松, E-mail: lixs@njust.edu.cn
TP311
国家自然科学基金(61702263, 61761136003); CCF-华为创新研究计划(CCF-HuaweiFM2021004)
刘靖宇,李晅松,陈芝菲,叶海波,宋巍.面向物联网设备移动与通信行为的建模及验证.软件学报,2024,35(11):4993-5015
复制