张燕;唐涛;李克平;何塞·曼纽尔·梅拉;朱、李;赵琳;徐天华 列车控制系统安全协议的形式化验证。 (英语) Zbl 1420.68139号 科学。中国,Technol。科学。 54,第11号,3078-3090(2011).MSC公司:第68季度第60季度 65年第68季度 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,科学。中国,Technol。科学。54,第11号,3078--3090(2011;Zbl 1420.68139) 全文: 内政部 链接
刘江;唐涛;盖拜根;王健;陈德旺 基于GNSS的列车综合定位系统的完整性保证。 (英语) Zbl 1237.93128号 科学。中国,Technol。科学。 54,第7期,1779-1792(2011).MSC公司:93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,科学。中国,Technol。科学。54,第7号,1779--1792(2011;Zbl 1237.93128) 全文: 内政部