@第{zbMATH03898590条，作者={Byrnes，J.S.和Angell，Robert C.}，标题={依赖模型：{A}计算系统有效性的工具}，FJournal={IEEE可靠性事务}，日志={IEEE Trans.Reliab.}，ISSN＝{0018-9529}，体积={34}，页码={17--24}，年份＝{1985}，语言={英语}，DOI={10.1109/TR.1985.5221915}，关键词={90B25}，zbMATH={3898590}，Zbl={0563.90052}}