您的位置： 专家智库 > >

勇嘉伟

作品数：3 被引量：25H指数：1
供职机构：大连理工大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个经济管理
  • 3个电子电信
  • 2个交通运输工程
  • 2个社会学
  • 2个文化科学
  • 2个理学
  • 1个天文地球
  • 1个机械工程
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个自然科学总论

主题

  • 4个形式化
  • 4个形式化验证
  • 4个有界模型检测
  • 4个软件设计
  • 4个软件系统
  • 2个代码
  • 2个代码生成
  • 2个单粒子
  • 2个单粒子翻转
  • 2个单片
  • 2个单片机
  • 2个单片机原理
  • 2个单片机原理与...
  • 2个电机
  • 2个电路
  • 2个电路仿真
  • 2个电路故障
  • 2个电路系统
  • 2个电视
  • 2个形式化建模

机构

  • 4个大连理工大学
  • 1个哈尔滨工业大...
  • 1个中国航天

资助

  • 4个国家自然科学...
  • 2个中央高校基本...
  • 1个贵州省科学技...
  • 1个大连市信息产...
  • 1个广西高校科学...
  • 1个国家教育部博...
  • 1个辽宁省普通高...

传媒

  • 4个计算机科学
  • 4个2013年全...
  • 3个第五届信息安...
  • 3个2013全国...
  • 3个第七届信息安...
  • 2个清华大学学报...
  • 2个计算机工程与...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个电气电子教学...
  • 2个实验室研究与...
  • 2个计算机工程与...
  • 2个实验技术与管...
  • 2个实验室科学
  • 2个计算机技术与...
  • 2个2012全国...
  • 2个第六届信息安...
  • 1个政策与管理
  • 1个系统工程学报
  • 1个哈尔滨工业大...

地区

  • 4个辽宁省
共 4 条 记 录，以下是 1-4
任龙涛
供职机构：大连理工大学国家示范性软件学院
研究主题：形式化验证 STM 嵌入式软件 迁移矩阵 级联故障
发表作品相关人物供职机构所获资助研究领域
周宽久
供职机构：大连理工大学
研究主题：嵌入式软件 复杂网络 嵌入式系统 遗传算法 决策支持系统
发表作品相关人物供职机构所获资助研究领域
侯刚
供职机构：大连理工大学
研究主题：正则表达式 工控网络 网络协议 形式化验证 PROTEUS
发表作品相关人物供职机构所获资助研究领域
王小龙
供职机构：大连理工大学
研究主题：形式化验证 级联 网络建模 软件系统 级联故障
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0