@第{zbMATH07035356条，作者={波扎诺、马可和西马蒂、亚历山德罗和马塔雷、克里斯蒂安}，标题={冗余架构的形式可靠性分析}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={31}，数字={1}，页码={59--94}，年份={2019}，语言={英语}，DOI={10.1007/s00165-018-0475-1}，关键词={68M15}，zbMATH={7035356}，Zbl=｛1425.68039｝}