咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 交通运输工程

主题

  • 1 篇 monitor-based te...
  • 1 篇 cycle

机构

  • 1 篇 state key labora...
  • 1 篇 school of electr...
  • 1 篇 department of co...

作者

  • 1 篇 ming chai
  • 1 篇 lin zhao
  • 1 篇 yang liu

语言

  • 1 篇 英文
检索条件"主题词=Monitor-based Temporal Properties Checking of Train Control Systems with Quantitative Constraints"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
monitor-based temporal properties checking of train control systems with quantitative constraints
Monitor-based Temporal Properties Checking of Train Control ...
收藏
分享
引用
17th International IEEE Conference on Intelligent Transportation systems & The Asia-Pacific Council on systems Engineering Conference 2014
作者： Lin Zhao Ming Chai Yang Liu State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Department of Computer Humboldt University BerlinBerlin D-10099Germany School of Electronics and Information Engineering Beijing Jiaotong University
As train control systems being more complex and intelligent,ensuring their correctness and safety becomes increasingly *** paper proposes a monitor-based approach to checking a system against its formal requirements w... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件