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