搜索筛选:
搜索耗时0.0755秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
[期刊论文] 作者:ZENG Xiaoqing,Masayuki Matsumo, 来源:计算机科学 年份:2004
This paper gives out a new train automatic control system, which is based on train communication, and proposes a high assurance method to construct the system f...
相关搜索: