您的位置: 专家智库 > >

李耀

作品数:15 被引量:53H指数:4
供职机构:西南交通大学信息科学与技术学院更多>>
发文基金:国家自然科学基金铁道部科技研究开发计划中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术交通运输工程环境科学与工程更多>>

文献类型

  • 15篇中文期刊文章

领域

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

主题

  • 4篇形式化
  • 4篇SCADE
  • 3篇形式化验证
  • 3篇铁路
  • 3篇列控系统
  • 2篇域间路由
  • 2篇铁路信号
  • 2篇区域控制器
  • 2篇路由
  • 2篇开发环境
  • 2篇控制器
  • 2篇安全关键软件
  • 2篇测速定位
  • 1篇对称加密
  • 1篇对称加密算法
  • 1篇信号系统
  • 1篇形式化建模
  • 1篇形式化验证技...
  • 1篇应答器
  • 1篇用例设计

机构

  • 15篇西南交通大学

作者

  • 15篇李耀
  • 6篇郭进
  • 5篇孔令晶
  • 3篇曾华燊
  • 3篇陈荣武
  • 3篇张亚东
  • 2篇窦军
  • 2篇宋海权
  • 2篇饶畅
  • 1篇杨扬
  • 1篇周正
  • 1篇陈淑珍
  • 1篇刘欢
  • 1篇晏姗
  • 1篇兰浩
  • 1篇谢刚

传媒

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

年份

  • 1篇2020
  • 3篇2019
  • 2篇2017
  • 1篇2016
  • 2篇2015
  • 1篇2014
  • 5篇2013
15 条 记 录,以下是 1-10
排序方式:
非常抱歉,您的检索请求在检索结果中暂未找到,建议您:
  • *请检查输入字词有无错误
  • *请换用另外的检索字词
  • *请改用较常见的字词
  • *请减少查询字词的数量
共2页<12>
聚类工具0