您的位置： 专家智库 > >

丁瑞浩

作品数：2 被引量：6H指数：1
供职机构：解放军理工大学指挥自动化学院更多>>
发文基金：江苏省自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个文化科学
  • 2个经济管理
  • 2个电子电信
  • 2个军事
  • 1个哲学宗教
  • 1个天文地球
  • 1个语言文字

主题

  • 4个形式化
  • 4个形式化建模
  • 4个形式化描述
  • 4个有效性
  • 4个整数
  • 4个整数溢出
  • 4个入度
  • 4个软件测试
  • 4个软件测试用例
  • 4个设计软件
  • 3个代码
  • 3个定位技术
  • 3个形式化描述模...
  • 3个性需求
  • 3个用户
  • 3个用户行为
  • 3个语句
  • 3个语句表
  • 2个动车
  • 2个信息提取

机构

  • 4个解放军理工大...
  • 2个中国人民解放...

资助

  • 4个国家高技术研...
  • 4个江苏省自然科...
  • 2个中国博士后科...
  • 1个国家自然科学...

传媒

  • 4个计算机应用
  • 3个东南大学学报...
  • 3个计算机工程与...
  • 3个2010年亚...
  • 2个情报科学
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个电子科技大学...
  • 2个计算机仿真
  • 2个应用科学学报
  • 2个解放军理工大...
  • 2个计算机科学
  • 2个电子工程学院...
  • 2个南通大学学报...
  • 2个指挥信息系统...
  • 2个'2002系...
  • 2个'2005系...
  • 2个第三届信息安...
  • 2个2010年亚...
  • 1个计算机研究与...

地区

  • 4个江苏省
共 4 条 记 录，以下是 1-4
黄松
供职机构：解放军理工大学
研究主题：软件测试 测试用例 基于HLA 测试用例生成方法 高层体系结构
发表作品相关人物供职机构所获资助研究领域
李辉
供职机构：解放军理工大学
研究主题：高层体系结构 基于HLA 路网 形式化描述 移动车辆
发表作品相关人物供职机构所获资助研究领域
姚奕
供职机构：解放军理工大学
研究主题：测试用例 软件测试 抽取 测试用例生成方法 遍历
发表作品相关人物供职机构所获资助研究领域
惠战伟
供职机构：解放军理工大学
研究主题：测试用例 测试用例生成方法 软件测试 形式化描述 整数溢出
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0