杨康(1992-),女,山东菏泽人,硕士,主要研究领域为CPS的安全性,形式化验证;李晓娟(1968-),女,博士,教授,CCF专业会员,主要研究领域为系统形式建模与验证,机器人系统软件安全,计算机网络协议分析;王瑞(1981-),女,博士,副教授,CCF专业会员,主要研究领域为形式化方法;施智平(1974-),男,博士,教授,CCF高级会员,主要研究领域为形式化,人工智能;关永(1966-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为形式化验证,系统可靠性,嵌入式系统;Xiaoyu Song(1963-),男,博士,教授,博士生导师,主要研究领域为形式化方法.
王瑞,E-mail:rwang04@cnu.edu.cn
TP309
国家自然科学基金(61877040,61702348,61602325);国家重点研发计划(2017YFB1301100)
WANG Rui
Beijing Key Laboratory of Light Industrial Robots and Safety Verification(College of Information Engineering, Capital Normal University), Beijing 100048, China;National International Science and Technology Cooperation Demonstration Base of Interdisciplinary of Electronic System Reliability and Mathematics(Capital Normal University), Beijing 100048, ChinaLI Xiao-Juan
Beijing Key Laboratory of Light Industrial Robots and Safety Verification(College of Information Engineering, Capital Normal University), Beijing 100048, China;National International Science and Technology Cooperation Demonstration Base of Interdisciplinary of Electronic System Reliability and Mathematics(Capital Normal University), Beijing 100048, ChinaNational Natural Science Foundation of China (61877040, 61702348, 61602325); National Key R&D Plan (2017YFB1301100)
杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.具有多传感器的CPS系统的攻击检测.软件学报,2019,30(7):2018-2032
复制