北京航空航天大学主页平台系统殷永峰--中文主页-- Research on Formal Verification Technique for Aircraft Safety-Critical Software. Journal of Computers，2010 (EI)

首页
研究领域
开授课程
科研项目
论文
荣誉及奖励
招生信息
学生信息

扫描手机二维码

欢迎您的访问
您是第位访客

开通时间：..

最后更新时间：..

同专业博导

同专业硕导

殷永峰 ( 研究员 ) 赞
的个人主页 http://shi.buaa.edu.cn/yinyongfeng/zh_CN/index.htm
研究员博士生导师硕士生导师
主要任职：教授、博士生导师，国家级领军人才，现任软件学院副院长，航空工业软件可靠性管理与测评中心主任(2013-2020)，**软件工程专家组成员，航空工业集团软件质量专家组成员等

论文当前位置：中文主页 >> 论文

Research on Formal Verification Technique for Aircraft Safety-Critical Software. Journal of Computers，2010 (EI)

点击次数：
是否译文：否

上一条： The Integrated Application Based on Real-time Extended UML and Improved Formal Method in Real-time Embedded Software Testing. Journal of Networks，2010 (EI)

下一条：实时嵌入式软件测试执行引擎的设计与实现. 北航学报. 2010 (EI)