您的位置： 专家智库 > >

万勇兵

作品数：8 被引量：33H指数：4
供职机构：同济大学电子与信息工程学院更多>>
发文基金：国家自然科学基金铁道部科技基金国家科技支撑计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

领域

  • 12个自动化与计算...
  • 6个电子电信
  • 4个机械工程
  • 4个交通运输工程
  • 3个自然科学总论
  • 3个理学
  • 2个经济管理
  • 2个建筑科学
  • 2个一般工业技术
  • 2个政治法律
  • 2个文化科学
  • 1个天文地球
  • 1个电气工程
  • 1个环境科学与工...
  • 1个农业科学
  • 1个社会学

主题

  • 7个形式化
  • 7个仿真
  • 6个仿真测试
  • 5个软件测试
  • 5个列控系统
  • 5个仿真测试平台
  • 4个软件开发
  • 4个架构
  • 4个安全苛求软件
  • 3个代码
  • 3个形式化语义
  • 3个元模型
  • 3个状态机
  • 3个组件
  • 3个组件架构
  • 3个面向服务架构
  • 3个服务架构
  • 3个服务组件
  • 3个服务组件架构
  • 3个SOA架构

机构

  • 10个同济大学
  • 3个江西师范大学
  • 1个北京大学
  • 1个广东工业大学
  • 1个哈尔滨工业大...
  • 1个青岛科技大学
  • 1个教育部
  • 1个江西财经大学
  • 1个中国银行
  • 1个上海汽车集团...
  • 1个铁路产品质量...

资助

  • 12个国家自然科学...
  • 5个国家科技支撑...
  • 5个铁道部科技研...
  • 5个铁道部科技基...
  • 3个国家高技术研...
  • 3个江西省自然科...
  • 3个江西省教育厅...
  • 3个江西省研究生...
  • 2个国家重点基础...
  • 2个江西省高等学...
  • 2个江西省教育厅...
  • 2个江西省科技厅...
  • 1个广东省自然科...
  • 1个教育部科学技...
  • 1个山东省自然科...
  • 1个“十一五”国...
  • 1个福建省教育厅...
  • 1个广东省科技厅...
  • 1个江西省教育科...
  • 1个江西省科技厅...

传媒

  • 8个计算机工程与...
  • 6个计算机工程
  • 6个计算机应用与...
  • 6个计算机应用研...
  • 4个计算机应用
  • 3个机电一体化
  • 3个城市轨道交通...
  • 3个电子学报
  • 3个计算机学报
  • 3个江西师范大学...
  • 3个微型电脑应用
  • 3个计算机工程与...
  • 3个计算机仿真
  • 3个铁道学报
  • 3个电脑知识与技...
  • 3个计算机技术与...
  • 3个科协论坛（下...
  • 2个佳木斯大学学...
  • 2个武汉大学学报...
  • 2个计算机工程与...

地区

  • 10个上海市
  • 2个江西省
共 12 条 记 录，以下是 1-10
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
黄明和
供职机构：江西师范大学软件学院
研究主题：面向对象 教学模式 数据挖掘 软件工程专业 SIP
发表作品相关人物供职机构所获资助研究领域
梅萌
供职机构：同济大学电子与信息工程学院
研究主题：列车 CBTC 跟驰 移动闭塞系统 列控系统
发表作品相关人物供职机构所获资助研究领域
刘凯
供职机构：上海汽车集团股份有限公司
研究主题：车辆 通信 SIP 车载终端 发送
发表作品相关人物供职机构所获资助研究领域
夏志翔
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
李盼
供职机构：同济大学电子与信息工程学院
研究主题：抽象状态机 ASM 形式化语义 元模型 SOA架构
发表作品相关人物供职机构所获资助研究领域
张元玲
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
李智伟
供职机构：同济大学电子与信息工程学院
研究主题：抽象状态机 ASM 形式化语义 元模型 SOA架构
发表作品相关人物供职机构所获资助研究领域
岑博文
供职机构：同济大学电子与信息工程学院
研究主题：CTCS-3 仿真测试平台 仿真测试 仿真 列控系统
发表作品相关人物供职机构所获资助研究领域
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0