您的位置： 专家智库 > >

陆皓

作品数：6 被引量：23H指数：3
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：中国航空科学基金清华大学自主科研计划北京市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 9个自动化与计算...
  • 3个电子电信
  • 3个文化科学
  • 2个经济管理
  • 2个医药卫生
  • 1个天文地球
  • 1个化学工程
  • 1个机械工程
  • 1个轻工技术与工...
  • 1个航空宇航科学...
  • 1个语言文字

主题

  • 7个接口
  • 6个基于接口
  • 5个测试用例
  • 4个语义
  • 4个软件测试
  • 4个数据生成
  • 4个嵌入式
  • 4个自动化
  • 4个自动机
  • 3个硬件
  • 3个知识描述
  • 3个属性约减
  • 3个契约
  • 3个契约模型
  • 3个决策表
  • 2个代码
  • 2个调度
  • 2个信息系统
  • 2个异常检测
  • 2个语义WEB服...

机构

  • 8个清华大学
  • 2个北京大学
  • 1个教育部
  • 1个解放军总医院...
  • 1个青海大学
  • 1个中国酒泉卫星...

资助

  • 6个国家自然科学...
  • 5个北京市自然科...
  • 5个国家重点基础...
  • 4个国家高技术研...
  • 4个清华大学自主...
  • 4个中国航空科学...
  • 2个国家科技支撑...
  • 1个国防基础科研...
  • 1个国家科技攻关...
  • 1个清华大学基础...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家科技重大...
  • 1个国家教育部博...
  • 1个内蒙古自治区...

传媒

  • 6个软件学报
  • 6个计算机科学
  • 4个清华大学学报...
  • 4个计算机学报
  • 3个计算机研究与...
  • 3个计算机科学与...
  • 2个电子学报
  • 2个计算机工程
  • 2个计算机应用
  • 2个小型微型计算...
  • 2个航空科学技术
  • 2个计算机技术与...
  • 1个计算机集成制...
  • 1个微电脑世界
  • 1个金融电子化
  • 1个电讯技术
  • 1个中国大学教学
  • 1个模式识别与人...
  • 1个华中科技大学...
  • 1个计算机应用与...

地区

  • 8个北京市
  • 1个甘肃省
共 9 条 记 录，以下是 1-9
白晓颖
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：WEB服务 软件测试 测试用例生成 基于接口 操作系统
发表作品相关人物供职机构所获资助研究领域
张任伟
供职机构：清华大学
研究主题：区域搜索 标准数据 ARM平台 辅助设备 分析模型
发表作品相关人物供职机构所获资助研究领域
汪明
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：实时系统 约束满足问题
发表作品相关人物供职机构所获资助研究领域
张瑶
供职机构：解放军总医院第一附属医院
研究主题：区块链
发表作品相关人物供职机构所获资助研究领域
侯可佳
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：基于接口 数据生成 测试数据生成 本体描述 契约模型
发表作品相关人物供职机构所获资助研究领域
李树芳
供职机构：中国酒泉卫星发射中心
研究主题：基于接口 软件测试 WEB服务 C++ 代码插装
发表作品相关人物供职机构所获资助研究领域
郁莲
供职机构：北京大学
研究主题：区块链 数字货币 WEB服务 测试用例生成 并行性
发表作品相关人物供职机构所获资助研究领域
王博
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：嵌入式软件 接口自动机 可组合性 相容性 测试用例生成
发表作品相关人物供职机构所获资助研究领域
周立柱
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：数据库 数字图书馆 数据模型 体系结构 面向对象
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0