宗喆(1996-),男,硕士,CCF学生会员,主要研究领域为安全关键嵌入式软件.
杨志斌(1982-),男,博士,副教授,CCF专业会员,主要研究领域为安全关键嵌入式软件,形式化方法.
袁胜浩(1994-),男,硕士,主要研究领域为形式化方法,定理证明.
周勇(1975-),男,博士,副教授,CCF专业会员,主要研究领域为软件工程.
Bodeveix Jean-Paul (1963-),男,博士,教授,博士生导师,主要研究领域为实时系统,形式化方法.
Filali Mamoun (1957-),男,博士,高级研究员,博士生导师,主要研究领域为实时系统,形式化方法.
杨志斌,E-mail:yangzhibin168@163.com
TP311
国家自然科学基金(62072233);航空科学基金(201919052002);中央高校基本科研业务费专项资金(NP2017205);国防基础科研项目(JCKY2020205C006)
National Natural Science Foundation of China (62072233); Aviation Science Fund of China (201919052002); Fundamental Research Funds for the Central Universities (NP2017205); National Defense Basic Scienfic Research (JCKY 2020205C006)
宗喆,杨志斌,袁胜浩,周勇,Jean-Paul BODELEIX, Mamoun FILALI.安全关键异构软件混合建模及代码生成方法.软件学报,2021,32(4):904-933
复制