您的位置： 专家智库 > >

铁道部科技研究开发计划(2001-X-005)

作品数：4 被引量：26H指数：3
相关作者：郦萌王铁江徐翥周清元更多>>
相关机构：同济大学更多>>
发文基金：铁道部科技研究开发计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 3个交通运输工程
  • 1个水利工程

主题

  • 4个联锁
  • 4个联锁软件
  • 3个制式
  • 2个信号系统
  • 2个形式化
  • 2个形式化规格说...
  • 2个应用软件
  • 2个知识库
  • 2个软件测试
  • 2个软件测试工具
  • 2个软件工程
  • 2个软件开发
  • 2个软件可靠性评...
  • 2个神经网
  • 2个神经网络
  • 2个神经网络模型
  • 2个算子
  • 2个自动测试工具
  • 2个自动测试系统
  • 2个自动生成

机构

  • 4个同济大学
  • 2个上海铁道大学
  • 1个华东交通大学
  • 1个铁路产品质量...

资助

  • 4个铁道部科技研...
  • 2个上海市教育委...
  • 2个铁道部科技基...
  • 1个国家自然科学...
  • 1个国家教育部博...
  • 1个上海市科委科...

传媒

  • 3个同济大学学报...
  • 3个计算机工程
  • 3个计算机应用
  • 3个铁道学报
  • 2个计算机工程与...
  • 2个装甲兵工程学...
  • 2个第二届中国测...
  • 1个铁道通信信号
  • 1个计算机工程与...
  • 1个计算机应用研...
  • 1个质量与可靠性
  • 1个计算机辅助工...
  • 1个上海铁道大学...
  • 1个第九届全国容...
  • 1个中国兵工学会...

地区

  • 4个上海市
共 4 条 记 录，以下是 1-4
郦萌
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全性评价 计算机 安全性苛求系统 安全性
发表作品相关人物供职机构所获资助研究领域
王铁江
供职机构：同济大学电子与信息工程学院计算机科学与技术系
研究主题：软件测试 计算机联锁 安全性评估 模糊逻辑 计算机联锁软件
发表作品相关人物供职机构所获资助研究领域
徐翥
供职机构：同济大学电子与信息工程学院计算机科学与技术系
研究主题：安全性评估 安全苛求软件 模糊逻辑 安全性评价 计算机联锁软件
发表作品相关人物供职机构所获资助研究领域
周清元
供职机构：同济大学电子与信息工程学院计算机科学与技术系
研究主题：非规则 脚本语言 联锁软件 自动生成技术 自动生成
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0