您的位置： 专家智库 > >

刘欢

作品数：1 被引量：5H指数：1
供职机构：西南交通大学信息科学与技术学院更多>>
相关领域：交通运输工程自动化与计算机技术更多>>

合作作者

领域

  • 1个自动化与计算...
  • 1个交通运输工程
  • 1个环境科学与工...

主题

  • 1个对称加密
  • 1个对称加密算法
  • 1个信号系统
  • 1个形式化
  • 1个形式化建模
  • 1个形式化验证
  • 1个形式化验证技...
  • 1个应答器
  • 1个用例设计
  • 1个域间路由
  • 1个散列
  • 1个实时性
  • 1个事件流
  • 1个铁路
  • 1个铁路信号
  • 1个铁路信号系统
  • 1个区域控制器
  • 1个状态机
  • 1个自治系统
  • 1个自治域

机构

  • 1个西南交通大学

资助

  • 1个国家自然科学...
  • 1个铁道部科技研...
  • 1个中央高校基本...

传媒

  • 1个通信学报
  • 1个西南交通大学...
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个计算机工程与...
  • 1个铁道学报
  • 1个中国安全科学...
  • 1个铁道标准设计
  • 1个铁路计算机应...
  • 1个中国铁道科学

地区

  • 1个四川省
共 1 条 记 录，以下是 1-1
李耀
供职机构：西南交通大学信息科学与技术学院
研究主题：SCADE 形式化验证 区域控制器 开发环境 安全关键软件
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0