您的位置： 专家智库 > >

陈祖希

作品数：6 被引量：12H指数：2
供职机构：同济大学电子与信息工程学院更多>>
发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程更多>>

合作作者

领域

  • 7个自动化与计算...
  • 4个交通运输工程
  • 3个电子电信
  • 2个经济管理
  • 2个机械工程
  • 2个建筑科学
  • 2个环境科学与工...
  • 1个电气工程
  • 1个农业科学
  • 1个一般工业技术
  • 1个社会学
  • 1个军事
  • 1个文化科学
  • 1个自然科学总论
  • 1个理学

主题

  • 6个形式化
  • 4个形式化建模
  • 4个顺序图
  • 4个网络
  • 3个地铁
  • 3个形式化B方法
  • 3个形式化方法
  • 3个用例图
  • 3个数据加密
  • 3个数据加密标准
  • 3个加密
  • 3个加密标准
  • 3个高级加密标准
  • 3个UML模型
  • 3个B方法
  • 2个动态故障树
  • 2个对象中间件
  • 2个信号系统
  • 2个信息熵
  • 2个性需求

机构

  • 7个同济大学
  • 2个上海大学
  • 2个铁路产品质量...
  • 1个青岛科技大学
  • 1个江西师范大学
  • 1个教育部

资助

  • 7个国家自然科学...
  • 6个国家科技支撑...
  • 4个国家高技术研...
  • 3个铁道部科技研...
  • 2个铁道部科技基...
  • 1个安徽省自然科...
  • 1个国家社会科学...
  • 1个江西省科技攻...
  • 1个山东省自然科...
  • 1个上海市科学技...
  • 1个上海市自然科...
  • 1个江西省教育厅...
  • 1个上海市高校选...
  • 1个“十一五”国...
  • 1个国家科技部专...
  • 1个教育部人文社...
  • 1个教育部人文社...
  • 1个上海市“科技...
  • 1个上海市科委重...
  • 1个上海市科学技...

传媒

  • 5个计算机工程
  • 5个计算机应用与...
  • 3个城市轨道交通...
  • 3个佳木斯大学学...
  • 3个电子学报
  • 3个同济大学学报...
  • 3个计算机应用
  • 3个计算机工程与...
  • 3个信息技术
  • 3个铁道学报
  • 2个机电一体化
  • 2个计算机工程与...
  • 2个现代计算机
  • 2个计算机仿真
  • 2个系统仿真学报
  • 2个计算机工程与...
  • 1个中国人力资源...
  • 1个南开管理评论
  • 1个国外电子元器...
  • 1个改革与战略

地区

  • 7个上海市
共 7 条 记 录，以下是 1-7
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
张元玲
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
霍伟伟
供职机构：上海大学悉尼工商学院
研究主题：创意 众包 文化差异 领地 创新型人力资本
发表作品相关人物供职机构所获资助研究领域
夏志翔
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构：上海大学
研究主题：BIM 隧道管片 管片 隧道 巡检
发表作品相关人物供职机构所获资助研究领域
陈邦兴
供职机构：同济大学电子与信息工程学院
研究主题：有色PETRI网 PETRI网 软件测试 CBTC 形式化建模
发表作品相关人物供职机构所获资助研究领域
唐晨
供职机构：同济大学电子与信息工程学院
研究主题：形式化方法 EVENT-B EVENT 形式化建模 形式化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0