搜索到 篇“ 安全关键系统 “的相关文章

相关作者

熊光泽
作品数：208被引量：1,269H指数：20
供职机构：电子科技大学计算机科学与工程学院
研究主题：实时系统 实时操作系统 嵌入式系统 安全关键系统 可靠性
胡军
作品数：108被引量：374H指数：11
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：形式化方法 故障树 安全关键系统 SYSML 接口自动机
黎忠文
作品数：84被引量：268H指数：9
供职机构：成都大学
研究主题：安全关键系统 防危核 智慧旅游 SAFETY 安全核
桑楠
作品数：210被引量：742H指数：15
供职机构：电子科技大学
研究主题：嵌入式系统 操作系统 高可信 实时系统 终端
黄志球
作品数：419被引量：1,076H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体