马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;大卫·琼斯;克里斯蒂安·马塔雷 使用xSAP对三模块发电机进行基于模型的安全评估。 (英语) Zbl 1511.68149号 正式Asp。计算。 33,第2期,251-295(2021).MSC公司:60年第68季度 93-10 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。33,第2号,251--295(2021;Zbl 1511.68149) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) 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) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 (英语) 兹比尔1298.68051 正式Asp。计算。 25,第4期,609-657(2013).MSC公司:68米15 68纳米30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,609--657(2013;Zbl 1298.68051) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 (英语) 兹比尔1298.68050 正式Asp。计算。 25,第4期,573-607(2013).MSC公司:68米15 68纳米30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,573--607(2013;Zbl 1298.68050) 全文: 内政部