徐天华;唐涛;王海峰;袁、唐明 使用概率推理对安全关键系统进行基于风险的预测维护。 (英语) 兹比尔1299.90122 数学。问题。工程师。 2013年,文章ID 947104,第9页(2013年).MSC公司:90B25型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{T.Xu}等人,数学。问题。Eng.2013,文章ID 947104,9 p.(2013;Zbl 1299.90122) 全文: 内政部
张燕;唐涛;李克平;何塞·曼纽尔·梅拉;朱、李;赵琳;徐天华 列车控制系统安全协议的形式化验证。 (英语) Zbl 1420.68139号 科学。中国,Technol。科学。 54,第11号,3078-3090(2011).MSC公司:60年第68季度 65年第68季度 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,科学。中国,Technol。科学。54,第11号,3078--3090(2011;Zbl 1420.68139) 全文: 内政部 链接
徐天华;唐涛;高春海;蔡白根 列车控制系统中数据通信系统的可靠性分析。 (英语) Zbl 1177.90075号 科学。中国,Ser。E类 52,第9期,2605-2618(2009).MSC公司:90B18号机组 90B25型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Xu}等人,科学。中国,Ser。E 52,编号92605-2618(2009年;兹bl 1177.90075) 全文: 内政部