计算机工程与科学2019，Vol.41Issue(8)：1426-1433,8.DOI:10.3969/j.issn.1007-130X.2019.08.013
面向需求的安全关键系统形式化建模与验证方法研究
A requirement oriented formal modeling and verification method for safety critical systems
摘要
关键词
MBSE/自动飞行控制系统(AFCS)/形式化验证/RSML-e/NuSMV/模型转换分类
信息技术与安全科学引用本文复制引用
胡军,张维珺,李宛倩..面向需求的安全关键系统形式化建模与验证方法研究[J].计算机工程与科学,2019,41(8):1426-1433,8.基金项目
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20171611)(中央高校基本科研业务费专项资金) （实验室）
国家重点基础研究发展计划-973计划(2014CB744903) （2014CB744903）
