北京航空航天大学主页平台系统殷永峰--中文主页-- The Integrated Application Based on Real-time Extended UML and Improved Formal Method in Real-time Embedded Software Testing. Journal of Networks，2010 (EI)

扫描手机二维码

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

开通时间：..

最后更新时间：..

同专业博导

同专业硕导

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

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

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

点击次数：
是否译文：否

上一条： Embedded Software Simulation Testing Virtual Machine: Design and Application. Applied Mechanics and Materials . 2010 (EI)

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