罗晨霞(1993-),女,河北张家口人,硕士,主要研究领域为形式化方法;李晓娟(1968-),女,博士,教授,CCF专业会员,主要研究领域为系统形式建模与验证,机器人系统软件安全,计算机网络协议分析;王瑞(1981-),女,博士,副教授,CCF专业会员,主要研究领域为形式化方法;施智平(1974-),男,博士,教授,CCF高级会员,主要研究领域为形式化,人工智能;关永(1966-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为形式化验证,系统可靠性,嵌入式系统;Xiaoyu Song (1963-),男,博士,教授,博士生导师,主要研究领域为形式化方法.
王瑞,E-mail:rwang04@cnu.edu.cn
TP311
国家自然科学基金(61877040,61702348,61602325);国家重点研发计划(2017YFB1303000)
National Natural Science Foundation of China (61877040, 61702348, 61602325); National Key R&D Plan of China (2017YFB1303000)
罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.面向实时数据的CPS一体化建模方法.软件学报,2019,30(7):1966-1979
复制