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

相关作者

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