斯宾塞·史密斯;赖、雷;赫德里,里达 工程计算的需求分析:提高可靠性的系统方法。 (英语) Zbl 1106.68348号 Reliab公司。计算。 13,第1期,83-107(2007).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Smith}等人,Reliab。计算。13,编号1,83--107(2007;Zbl 1106.68348) 全文: 内政部
丹尼尔·库克。 一种高级语言的非正式介绍,用于区间数学。 (英语) Zbl 0831.65054号 Reliab公司。计算。 第1期,第65-75页(1995年). 审核人:G.Mayer(罗斯托克) MSC公司:65G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Cooke},Reliab。计算。1,编号1,65--75(1995;Zbl 0831.65054) 全文: 内政部