搜索到 篇“ SCADE “的相关文章

相关作者

杨志斌
作品数：95被引量：148H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
刘文学
作品数：18被引量：37H指数：4
供职机构：西安航空计算技术研究所
研究主题：软件设计 SCADE SUITE 航电系统 飞行管理
吴成富
作品数：155被引量：684H指数：11
供职机构：西北工业大学
研究主题：无人机 VXWORKS 飞控系统 飞控计算机 LABWINDOWS/CVI
李耀
作品数：15被引量：52H指数：4
供职机构：西南交通大学信息科学与技术学院
研究主题：SCADE 形式化验证 区域控制器 开发环境 安全关键软件
周勇
作品数：142被引量：111H指数：6
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD