魏晓敏(1990-),男,福建龙岩人,博士,CCF学生会员,主要研究领域为系统安全,可信分析与验证;董泽乾(1995-),男,硕士,主要研究领域为信息物理系统融合;肖明睿(1996-),男,硕士,主要研究领域为可信软件设计与验证;田聪(1981-),女,博士,教授,博士生导师,CCF杰出会员,主要研究领域为形式化方法,时序逻辑,模型检测.
魏晓敏,E-mail:xmwei@mail.nwpu.edu.cn
国家自然科学基金(61772423)
National Natural Science Foundation of China (61772423)
魏晓敏,董泽乾,肖明睿,田聪.基于AADL的失效概率分配及安全性评估方法.软件学报,2020,31(6):1654-1671
复制