您的位置： 专家智库 > >

宋文鹏

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

合作作者

领域

  • 6个自动化与计算...
  • 2个经济管理
  • 2个电子电信
  • 2个航空宇航科学...
  • 1个电气工程
  • 1个文化科学
  • 1个自然科学总论

主题

  • 4个形式化
  • 3个形式化验证
  • 3个软件复用
  • 3个状态机
  • 3个检查器
  • 3个UML状态机
  • 2个信息服务
  • 2个信息化
  • 2个信息化工程
  • 2个信息化建设
  • 2个在航
  • 2个软件测试
  • 2个企业
  • 2个企业核心竞争...
  • 2个嵌入式
  • 2个嵌入式软件
  • 2个网络
  • 2个竞争力
  • 1个弹药
  • 1个电磁

机构

  • 6个中国航天科工...
  • 1个中国兵器科学...

资助

  • 1个国防基础科研...
  • 1个武器装备预研...
  • 1个国家科技重大...

传媒

  • 6个计算机工程与...
  • 2个军民两用技术...
  • 1个火力与指挥控...
  • 1个红外技术
  • 1个系统仿真学报
  • 1个电波科学学报
  • 1个现代电子技术
  • 1个计算机技术与...

地区

  • 5个北京市
  • 1个浙江省
共 6 条 记 录，以下是 1-6
侯敏
供职机构：中国航天科工集团公司
研究主题：UML状态机 形式化验证 检查器
发表作品相关人物供职机构所获资助研究领域
刘杰
供职机构：中国航天科工集团公司
研究主题：复杂系统 仿真系统 互操作 可重用 元模型
发表作品相关人物供职机构所获资助研究领域
贺红卫
供职机构：中国兵器科学研究院
研究主题：嵌入式软件 远程调试 JTAG 仿真器 海拔
发表作品相关人物供职机构所获资助研究领域
王新冶
供职机构：中国航天科工集团公司
研究主题：UML状态机 形式化验证 检查器
发表作品相关人物供职机构所获资助研究领域
王泊涵
供职机构：中国航天科工集团公司
研究主题：AADL 飞行控制系统 飞控软件 民用无人机 属性集
发表作品相关人物供职机构所获资助研究领域
董丽
供职机构：中国航天科工集团公司
研究主题：副作用分析 形式化描述 资源冲突 嵌入式软件 贝叶斯网络
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0