您的位置： 专家智库 > >

韩卓兵

作品数：9 被引量：0H指数：0
供职机构：天津大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 11个自动化与计算...
  • 3个经济管理
  • 3个电子电信
  • 3个建筑科学
  • 3个文化科学
  • 2个电气工程
  • 2个医药卫生
  • 2个理学
  • 1个化学工程
  • 1个石油与天然气...
  • 1个机械工程
  • 1个农业科学
  • 1个一般工业技术

主题

  • 9个形式化
  • 8个软件系统
  • 8个组件
  • 8个漏洞
  • 7个形式化建模
  • 6个知识库
  • 6个软件开发
  • 6个资产
  • 6个CC标准
  • 5个软件工程
  • 5个软件系统开发
  • 5个软件资产
  • 5个系统开发
  • 5个精化
  • 5个计算软件
  • 5个加权平均值
  • 5个功能模块
  • 5个功能组件
  • 5个风险度
  • 4个形式化描述

机构

  • 11个天津大学
  • 1个华东师范大学
  • 1个内蒙古工业大...
  • 1个南昌大学
  • 1个上海交通大学
  • 1个中国科学院

资助

  • 5个国家自然科学...
  • 3个国家高技术研...
  • 3个天津市自然科...
  • 3个天津市科技支...
  • 2个天津市应用基...
  • 2个天津市科技发...
  • 1个国家重点基础...
  • 1个天津市科技攻...
  • 1个天津市青年科...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家教育部博...
  • 1个教育部人文社...
  • 1个辽宁省自然科...
  • 1个天津市高等学...
  • 1个天津市科技支...
  • 1个天津市重点科...
  • 1个浙江省公益性...

传媒

  • 3个计算机工程
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个天津大学学报...
  • 3个计算机科学与...
  • 2个计算机学报
  • 2个计算机应用与...
  • 2个计算机工程与...
  • 1个南昌大学学报...
  • 1个内蒙古大学学...
  • 1个电子与信息学...
  • 1个制造业自动化
  • 1个电声技术
  • 1个清华大学学报...
  • 1个给水排水
  • 1个数据采集与处...
  • 1个微型电脑应用
  • 1个中国给水排水
  • 1个软件学报
  • 1个计算机工程与...

地区

  • 11个天津市
共 11 条 记 录，以下是 1-10
李晓红
供职机构：天津大学
研究主题：安全需求 可信计算 软件产品 免疫激活 知识库
发表作品相关人物供职机构所获资助研究领域
胡静
供职机构：天津大学
研究主题：安全需求 安全漏洞 计算软件 可信计算 知识库
发表作品相关人物供职机构所获资助研究领域
吴晓菲
供职机构：天津大学
研究主题：安全需求 形式化建模 安全保证 风险值 风险度
发表作品相关人物供职机构所获资助研究领域
朱明悦
供职机构：天津大学
研究主题：计算软件 风险值 风险评估方法 风险评估 风险度
发表作品相关人物供职机构所获资助研究领域
杜长霄
供职机构：天津大学
研究主题：安全性评估 风险值 风险度 加权平均值 计算软件
发表作品相关人物供职机构所获资助研究领域
许光全
供职机构：天津大学
研究主题：可信计算 安全漏洞 安全需求 恶意代码 事务
发表作品相关人物供职机构所获资助研究领域
沈岗
供职机构：天津大学
研究主题：安全协议 报表 分块 形式化建模 图形化
发表作品相关人物供职机构所获资助研究领域
张程伟
供职机构：天津大学
研究主题：安全协议 报表 分块 形式化建模 基因编码
发表作品相关人物供职机构所获资助研究领域
杜志杰
供职机构：天津大学
研究主题：CC标准 知识库 测试用例生成方法 测试用例 安全评估
发表作品相关人物供职机构所获资助研究领域
李洪波
供职机构：天津大学
研究主题：安全需求 软件开发 运动学模型 移动机器人 串联型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0