乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 饱和定理证明的综合框架。 (英语) Zbl 1512.68434号 J.汽车。推理 66,第4号,499-539(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{U.Waldmann}等人,J.Autom。推理66,第4499-539号(2022;兹bl 1512.68434) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
拉姆,曼吉(编辑);Ilia B.Frenkel。(编辑);阿潘·古普塔(编辑) 前言:数学技术在工程应用及相关主题中的应用。二、。 (英语) Zbl 1298.00343号 数学。工程科学。Aerosp.航空公司。MESA公司 5,第3期,239-240(2014).MSC公司:00B25型 30B40码 30E10型 34A08号 34A37飞机 34K06号 34K28号 35A24型 35问题35 37C25号 41年10月 43A50型 44A10号 62号05 65日元10 68米15 68T27型 81页第45页 90B25型 92B20型 94Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ram}(编辑)等人,《数学》。工程科学。Aerosp.航空公司。MESA 5,第3号,239--240(2014;Zbl 1298.00343) 全文: 链接
大崎、顺治;马沙希罗·基努加萨 三单元混合冗余系统的性能相关可靠性评估。 (英语) Zbl 0471.90056号 国际期刊系统。科学。 13, 1-19 (1982).MSC公司:90B25型 68N99型 60K20码 PDF格式BibTeX公司 XML格式引用 \textit{S.Osaki}和\textit{M.Kinugasa},国际期刊系统。科学。13、1-19(1982;Zbl 0471.90056) 全文: 内政部