您的位置： 专家智库 > >

于小飞

作品数：2 被引量：0H指数：0
供职机构：同济大学电子与信息工程学院更多>>
相关领域：交通运输工程更多>>

合作作者

领域

  • 3个交通运输工程
  • 2个自动化与计算...
  • 1个机械工程
  • 1个电子电信
  • 1个电气工程

主题

  • 2个信号系统
  • 2个形式化
  • 2个形式化方法
  • 2个形式化建模
  • 1个地铁
  • 1个第三方测试
  • 1个多媒体
  • 1个多媒体技术
  • 1个多媒体技术及...
  • 1个用例设计
  • 1个有色PETR...
  • 1个运动学
  • 1个运动学模型
  • 1个软件测评
  • 1个软件测试
  • 1个铁路
  • 1个铁路计算机
  • 1个铁路信号
  • 1个通信
  • 1个通信协议

机构

  • 3个同济大学

资助

  • 2个国家自然科学...
  • 1个国家高技术研...
  • 1个国家科技支撑...
  • 1个铁道部科技研...
  • 1个“十一五”国...
  • 1个铁道部科技基...

传媒

  • 3个佳木斯大学学...
  • 2个信息技术
  • 1个机电一体化
  • 1个城市轨道交通...
  • 1个同济大学学报...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个微型电脑应用
  • 1个现代计算机
  • 1个计算机应用
  • 1个计算机工程与...
  • 1个计算机仿真
  • 1个通信技术
  • 1个计算机工程与...
  • 1个铁道学报

地区

  • 3个上海市
共 3 条 记 录，以下是 1-3
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
徐美芳
供职机构：同济大学电子与信息工程学院
研究主题：轨道交通信号系统
发表作品相关人物供职机构所获资助研究领域
唐晨
供职机构：同济大学电子与信息工程学院
研究主题：形式化方法 EVENT-B EVENT 形式化建模 形式化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0