• 已选条件：
  • × Communication-based train control systems
 全选  【符合条件的数据共：2条】

1 Movement authority security modeling and verification based on fault statechart [会议论文]

作者:Yu, Fan^1;Tang, Minan^1;Hao, Binbin^1;等

关键词:Analysis and verifications;Communication-based train control systems;...

会议举办机构:School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou, Gansu

会议时间:2019

预览  |  原文链接  |  全文  [ 浏览：4 下载：0  ]    

2 Component-based event composition modeling for CPS [会议论文]

作者:Yin, Zhonghai^1, Chu, Yanan^1

关键词:Communication-based train control systems;Component-based architecture;...

会议举办机构:Mathematics Department, Air Force Engineering University, Xi'an, Shanxi

会议时间:2017

预览  |  原文链接  |  全文  [ 浏览：4 下载：0  ]