贝努伊特Caillaud；马蒂亚斯·马兰丹；琼·蒂博 多模DAE系统的隐式结构分析。 （英语） Zbl 07300861号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020；Zbl 07300861） 全文： 内政部 哈尔
潘迪特，维达斯；比约恩·舒勒 一种用于组合逻辑表示和优化的新型图形技术。 （英语） Zbl 1380.90239号 复杂性 2017年，文章ID 9696342，12 p.（2017）.MSC公司：90C27型 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{V.Pandit}和\textit{B.Schuller}，复杂性2017，文章ID 9696342，12 p.（2017；Zbl 1380.90239） 全文： 内政部
阿尔伯特·迈尔斯 复杂系统可靠性。故障覆盖不完善的多通道系统。第2版。 （英语） Zbl 1202.93001号 可靠性工程中的Springer系列伦敦：施普林格出版社（ISBN 978-1-84996-413-5/hbk；978-1-849 96-414-2/电子书）。xiii，第238页。(2010).MSC公司：93-02 93立方厘米 93甲15 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Myers}，复杂系统可靠性。故障覆盖不完善的多通道系统。第二版伦敦：施普林格出版社（2010；Zbl 1202.93001） 全文： 内政部
薛飞；郑大忠；严、鲁 使用OBDD对分布式离散事件系统进行故障诊断。 （英语） Zbl 1090.68075号 维尔纽斯Informatica 16，第3期，431-448（2005）.MSC公司：68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{F.Xue}等人，Informatica，维尔纽斯16，No.3，431--448（2005；Zbl 1090.68075）