您的位置： 专家智库 > >

夏志翔

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

合作作者

领域

  • 4个自动化与计算...
  • 2个电子电信
  • 2个交通运输工程
  • 1个机械工程
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个自然科学总论
  • 1个理学

主题

  • 4个形式化
  • 3个形式化B方法
  • 3个形式化验证
  • 3个用例图
  • 3个数据加密
  • 3个数据加密标准
  • 3个顺序图
  • 3个加密
  • 3个加密标准
  • 3个高级加密标准
  • 3个UML模型
  • 3个B方法
  • 3个MAC
  • 2个形式化方法
  • 2个形式化验证方...
  • 2个形式化语义
  • 1个单类支持向量...
  • 1个道岔
  • 1个地铁
  • 1个地铁线

机构

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

资助

  • 4个国家科技支撑...
  • 4个国家自然科学...
  • 2个国家高技术研...
  • 2个铁道部科技研...
  • 2个铁道部科技基...
  • 1个山东省自然科...
  • 1个江西省教育厅...
  • 1个上海市科学技...

传媒

  • 3个电子学报
  • 3个计算机工程
  • 3个计算机应用与...
  • 2个佳木斯大学学...
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个系统仿真学报
  • 2个计算机工程与...
  • 2个2013年全...
  • 1个机电一体化
  • 1个城市轨道交通...
  • 1个国外电子元器...
  • 1个合肥工业大学...
  • 1个通信学报
  • 1个计算机学报
  • 1个武汉大学学报...
  • 1个计算机工程与...
  • 1个同济大学学报...
  • 1个江西师范大学...

地区

  • 4个上海市
共 4 条 记 录，以下是 1-4
张元玲
供职机构：同济大学电子与信息工程学院
研究主题：B方法 UML模型 形式化B方法 顺序图 用例图
发表作品相关人物供职机构所获资助研究领域
徐中伟
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
发表作品相关人物供职机构所获资助研究领域
万勇兵
供职机构：同济大学电子与信息工程学院
研究主题：SIP 身份认证技术 身份认证 智能卡 VOIP
发表作品相关人物供职机构所获资助研究领域
陈祖希
供职机构：同济大学电子与信息工程学院
研究主题：联锁系统 形式化验证方法 形式化方法 铁路 B方法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0