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

相关作者

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