巴塔查里亚,S。;R.库马尔。;黄,Z。 网络故障管理的离散事件系统方法:故障检测和诊断。 (英语) Zbl 1219.93071号 亚洲J.控制 第4号第13页,第471-479页(2011年).MSC公司:93元65角 94C12号机组 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhattacharyya}et al.,Asian J.Control 13,No.4,471--479(2011;Zbl 1219.93071) 全文: 内政部
安德鲁·贝利;乔治·麦卡斯基尔。;乔治·米尔恩。 异步设计的自动验证练习。 (英语) Zbl 0795.94020号 形式方法系统。设计。 4,第3期,213-242(1994).MSC公司:94C12号机组 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bailey}等人,《形式方法系统》。设计。4,第3号,213--242(1994;Zbl 0795.94020) 全文: 内政部
库马尔,拉马亚;Schneider,Klaus公司;托马斯·克罗普夫 在高阶定理证明环境中构造和自动化硬件证明。 (英语) Zbl 0778.68074号 形式方法系统。设计。 第2期,第165-223页(1993年). 审核人:沃尔夫冈·沃格尔盖桑 MSC公司:68吨15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人,《形式方法系统》。设计。2,第2号,165--223(1993;Zbl 0778.68074) 全文: 内政部