您的位置： 专家智库 > >

河北省科技支撑计划项目(10213593)

作品数：1 被引量：10H指数：1
相关作者：李虎更多>>
相关机构：中国软件评测中心更多>>
发文基金：河北省科技支撑计划项目国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 1个电子电信
  • 1个自动化与计算...
  • 1个航空宇航科学...
  • 1个医药卫生

主题

  • 1个代码
  • 1个代码覆盖
  • 1个登录
  • 1个电极
  • 1个调试方法
  • 1个定义语言
  • 1个动点
  • 1个动态仿真
  • 1个动态规划
  • 1个动态规划法
  • 1个断点
  • 1个形式化
  • 1个形式化定义
  • 1个形式化分析
  • 1个形式化描述
  • 1个行搜索
  • 1个阳极
  • 1个阳极化
  • 1个映射
  • 1个映射函数

机构

  • 1个北京航空航天...
  • 1个中国软件评测...

资助

  • 1个国防科技技术...
  • 1个国家高技术研...
  • 1个国家自然科学...
  • 1个国家部委资助...
  • 1个河北省科技支...
  • 1个中国航空科学...

传媒

  • 1个计算机研究与...
  • 1个南京大学学报...
  • 1个计算机学报
  • 1个软件学报
  • 1个计算机辅助设...
  • 1个计算机工程与...
  • 1个系统仿真学报
  • 1个计算机工程与...
  • 1个微计算机信息
  • 1个北京邮电大学...
  • 1个北京航空航天...
  • 1个航空工艺技术
  • 1个华北航天工业...
  • 1个装甲兵工程学...
  • 1个计算机技术与...
  • 1个2005’全...
  • 1个2007全国...
  • 1个2008全国...
  • 1个全国第十二届...

地区

  • 1个北京市
共 1 条 记 录，以下是 1-1
李虎
供职机构：北京航空航天大学
研究主题：YACC 断点 软件工程 软件质量 软件测试
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0