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

相关作者

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