您的位置： 专家智库 > >

董丽

作品数：3 被引量：21H指数：3
供职机构：中国航天科工集团公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 2个经济管理
  • 2个电子电信
  • 2个航空宇航科学...
  • 2个文化科学
  • 2个自然科学总论
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个语言文字

主题

  • 5个软件测试
  • 5个网络
  • 4个形式化
  • 4个嵌入式
  • 4个嵌入式软件
  • 3个形式化描述
  • 3个软件复用
  • 3个资源冲突
  • 3个工作流
  • 2个信息服务
  • 2个信息化
  • 2个信息化工程
  • 2个信息化建设
  • 2个元模型
  • 2个在航
  • 2个软件测试过程
  • 2个企业
  • 2个企业核心竞争...
  • 2个目标码
  • 2个竞争力

机构

  • 6个中国航天科工...
  • 1个国防科学技术...
  • 1个中国兵器科学...
  • 1个中国科学院软...
  • 1个北京系统工程...
  • 1个中国航天科工...
  • 1个中国航天科技...

资助

  • 1个国家高技术研...
  • 1个国家自然科学...
  • 1个武器装备预研...
  • 1个国家科技重大...
  • 1个电子信息产业...
  • 1个国家电子信息...

传媒

  • 7个计算机工程与...
  • 2个军民两用技术...
  • 1个计算机安全
  • 1个火力与指挥控...
  • 1个清华大学学报...
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个计算机应用
  • 1个红外技术
  • 1个软件学报
  • 1个系统仿真学报
  • 1个中文信息学报
  • 1个电波科学学报
  • 1个计算机科学
  • 1个现代电子技术
  • 1个单片机与嵌入...
  • 1个计算机技术与...
  • 1个质量与认证
  • 1个第十四届全国...

地区

  • 6个北京市
  • 1个浙江省
共 7 条 记 录，以下是 1-7
叶东升
供职机构：中国航天科工集团
研究主题：软件测试 副作用分析 形式化描述 资源冲突 嵌入式软件
发表作品相关人物供职机构所获资助研究领域
杨芳
供职机构：中国航天科工集团公司
研究主题：嵌入式软件 副作用分析 形式化描述 资源冲突 仿真测试平台
发表作品相关人物供职机构所获资助研究领域
刘杰
供职机构：中国航天科工集团公司
研究主题：复杂系统 仿真系统 互操作 可重用 元模型
发表作品相关人物供职机构所获资助研究领域
贺红卫
供职机构：中国兵器科学研究院
研究主题：嵌入式软件 远程调试 JTAG 仿真器 海拔
发表作品相关人物供职机构所获资助研究领域
申光刚
供职机构：中国航天科工集团公司
研究主题：贝叶斯网络 软件测试过程 软件测试
发表作品相关人物供职机构所获资助研究领域
齐璇
供职机构：北京系统工程研究所
研究主题：软件测试 软件系统 TTCN-3 分布式软件 工作流管理系统
发表作品相关人物供职机构所获资助研究领域
宋文鹏
供职机构：中国航天科工集团公司
研究主题：UML状态机 形式化验证 检查器 软件复用
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0