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

相关作者

马金晶
作品数：8被引量：19H指数：3
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 SYSML MARTE AADL SPIN
胡军
作品数：105被引量：368H指数：11
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 SYSML 安全关键系统 接口自动机
刘雪
作品数：6被引量：13H指数：2
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 MARTE AADL SYSML 系统安全性分析
李运喜
作品数：29被引量：71H指数：6
供职机构：西安航空计算技术研究所
研究主题：操作系统 多核 分区操作系统 ARINC653 机载
胡林平
作品数：26被引量：59H指数：4
供职机构：西安航空计算技术研究所
研究主题：航空电子系统 航电系统 ARINC653 目标机 系统内核