杜德慧(1979-),女,河南信阳人,博士,教授,CCF专业会员,主要研究领域为可信软件,信息物理融合系统建模与验证;管春琳(1994-),女,硕士,主要研究领域为可信软件,CPS建模、仿真、验证;王耀(1995-),男,学士,CCF学生会员,主要研究领域为可信软件,信息物理融合系统;郭童(1996-),女,学士,CCF学生会员,主要研究领域为可信软件,信息物理融合系统.
杜德慧,E-mail:dhdu@sei.ecnu.edu.cn
国家自然科学基金(61972153);国家重点研发计划(2018YFE0101000)
National Natural Science Foundation of China (61972153); National Key Research and Development Program of China (2018YFE0101000)
杜德慧,管春琳,王耀,郭童.基于SHML的CPS行为建模及仿真.软件学报,2020,31(6):1587-1599
复制