您的位置： 专家智库 > >

上海市科委科技攻关项目(035115023)

作品数：1 被引量：3H指数：1
相关作者：杨晋辉郦萌更多>>
相关机构：同济大学更多>>
发文基金：上海市科委科技攻关项目国家教育部博士点基金更多>>
相关领域：交通运输工程更多>>

领域

  • 2个自动化与计算...
  • 2个交通运输工程

主题

  • 2个统一建模
  • 2个统一建模语言
  • 2个联锁
  • 2个联锁软件
  • 1个独立性
  • 1个信号设备
  • 1个信号系统
  • 1个形式化
  • 1个形式化规格说...
  • 1个悬浮列车
  • 1个应用软件
  • 1个知识库
  • 1个制式
  • 1个容错
  • 1个容错技术
  • 1个容错结构
  • 1个软件测试
  • 1个软件测试工具
  • 1个软件工程
  • 1个软件工程化

机构

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

资助

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

传媒

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

地区

  • 2个上海市
共 2 条 记 录，以下是 1-2
杨晋辉
供职机构：同济大学
研究主题：安全苛求软件 PETRI网 安全性 UML 基于UML
发表作品相关人物供职机构所获资助研究领域
郦萌
供职机构：同济大学电子与信息工程学院
研究主题：软件测试 安全性评价 计算机 安全性苛求系统 安全性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0