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

相关作者

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