崔丽蓉（编辑）;伊莉亚·弗兰克尔（编辑）;阿纳托利·利斯尼安斯基（编辑） 可靠性工程中的随机模型。基于2019年5月28日至31日在中国北京举行的第三届可靠性工程、生命科学和运营管理随机模型国际研讨会上的陈述。 （英文） Zbl 1479.90004号 可靠性和系统保证工程高级研究佛罗里达州博卡拉顿：CRC出版社（ISBN 978-0-367-34585-3/hbk；978-0-429-33152-7/电子书）。xvii，第464页。(2021). 审核人：汉斯·达杜纳（汉堡） MSC公司：90-06 90B25型 00B15号机组 60千克10 60K20码 62号05 PDF格式BibTeX公司 XML格式引用 \textit{L.Cui}（ed.）et al.，可靠性工程中的随机模型。基于第三届可靠性工程、生命科学和运行管理随机模型国际研讨会上的报告，SMRLO 2019，中国北京，2019年5月28日至31日。佛罗里达州博卡拉顿：CRC出版社（2021；Zbl 1479.90004） 全文： 内政部
亚斯梅恩·埃尔德哈利;奥斯曼·哈桑;索菲涅·塔哈尔 使用HOL定理证明进行形式化动态可靠性分析的框架。 （英文） Zbl 1455.68246号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。2020年7月26日至31日，第13届国际会议，亚信2020，意大利贝尔蒂诺罗。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 105-122 (2020).MSC公司：68伏15 68米15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Elderhalli}等人，Lect。注释计算。科学。12236105-122（2020年；兹比尔1455.68246） 全文： 内政部
埃诺·鲁伊特斯;玛丽·斯托琳加 故障树分析：对建模、分析和工具最新技术的调查。 （英文） Zbl 1315.90013号 计算。科学。版次。 15-16, 29-62 (2015).MSC公司：90B25型 90-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Ruijters}和\textit{M.Stoelinga}，计算。科学。版本15-16、29-62（2015；Zbl 1315.90013） 全文： 内政部 链接
丹尼·多列夫;马蒂亚斯·福格尔;马库斯·波什;乌尔里希·施密德;安德烈亚斯·斯坦宁格;克里斯托夫·伦岑 严格建模自稳定容错电路：一种适用于片上系统的超稳健时钟方案。 （英文） Zbl 1285.68007号 J.计算。系统。科学。 80，第4号，860-900（2014）.MSC公司：68M10个 68米14 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dolev}等人，《计算杂志》。系统。科学。80，第4号，860--900（2014；Zbl 1285.68007） 全文： 内政部
西蒙娜·伯纳迪;何塞·梅尔塞格尔;Dorina C.佩特里乌。 用UML指定的软件系统的可靠性建模和分析。 （英文） Zbl 1293.68075号 ACM计算。Surv公司。 45，第1号，第2号论文，48页（2012）.MSC公司：68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{S.Bernardi}等人，ACM计算。Surv公司。45，第1号，第2号论文，48页（2012；Zbl 1293.68075） 全文： 内政部
多伊，塔达西;Toshikazu Uemura 一种可扩展的入侵容忍体系结构的自适应模式控制算法。 （英文） Zbl 1250.68062号 J.计算。系统。科学。 78，第6期，1751-1774（2012）.MSC公司：68M10个 62页99 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Dohi}和\textit{T.Uemura}，J.Compute。系统。科学。78，第6号，1751-1774（2012；Zbl 1250.68062） 全文： 内政部
何塞·梅尔塞格尔;西蒙娜·伯纳迪 基于MARTE和UML状态机模型的DES可靠性分析。 （英文） Zbl 1242.93075号 离散事件动态。系统。 22，第2期，163-178（2012）.MSC公司：93元65角 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Merseguer}和\textit{S.Bernardi}，离散事件动力学。系统。22，第2号，163--178（2012；Zbl 1242.93075） 全文： 内政部
苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃曼纽尔·恩克雷纳兹;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯 通过符号模型检查进行稳健性量化的可行性分析。 （英文） Zbl 1247.68156号 形式方法系统。设计。 第2期第39页，第165-184页（2011年）.MSC公司：60年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Baarir}等人，《形式方法系统》。设计。39，第2号，165--184（2011；Zbl 1247.68156） 全文： 内政部
布莱恩·兰德尔 当时和现在的发生网络：结构化发生网络的路径。 （英文） Zbl 1330.68215号 Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709,1-16（2011）。MSC公司：68问题85 68-03 PDF格式BibTeX公司 XML格式引用 \textit{B.Randell}，莱克特。注释计算。科学。6709，1-16（2011；Zbl 1330.68215） 全文： 内政部
马西耶·库特尼;布莱恩·兰德尔 结构化发生网：一种用于辅助系统故障预防和分析技术的形式主义。 （英文） Zbl 1187.68328号 芬丹。通知。 97，编号1-2，41-91（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}和\textit{B.Randell}，Fundam。通知。97，编号1--2，41-91（2009；Zbl 1187.68328） 全文： 内政部
徐天华;唐涛;高春海;蔡白根 列车控制系统中数据通信系统的可靠性分析。 （英文） Zbl 1177.90075号 科学。中国，Ser。E类 52，第9期，2605-2618（2009）.MSC公司：90磅18英寸 90B25型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Xu}等人，科学。中国，Ser。E 52，编号92605--2618（2009；Zbl 1177.90075） 全文： 内政部
杰拉尔多·鲁比诺;布鲁诺·塔芬 可靠性分析的马尔可夫模型。 （英文） Zbl 1168.65310号 Rubino，Gerardo（编辑）等人，《使用蒙特卡罗方法的罕见事件模拟》。奇切斯特：John Wiley&Sons（ISBN 978-0-470-77269-0/hbk）。125-143（2009年）。MSC公司：65 C50 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rubino}和\textit{B.Tuffin}，in：使用蒙特卡罗方法进行罕见事件模拟。奇切斯特：约翰·威利父子公司。125-143（2009年；Zbl 1168.65310）
弗兰克·奥特米耶;格哈德·谢尔霍恩 正式故障树分析-实践经验。 （英文） Zbl 1335.68146号 Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185139-151（2007）。MSC公司：60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ortmier}和\textit{G.Schellhorn}，电子。注释Theor。计算。科学。185、139--151（2007年；Zbl 1335.68146） 全文： 内政部
布莱恩·兰德尔;马西耶·库特尼 失败：定义、建模和分析。 （英文） Zbl 1147.68599号 Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711260-274（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Randell}和\textit{M.Koutny}，莱克特。注释计算。科学。4711260-274（2007年；Zbl 1147.68599） 全文： 内政部
蒙迪扎巴尔，奥多里科·马查多;费尔南多·路易斯·多蒂 使用随机对象图文法对不可靠环境中的分布式系统进行非功能分析。 （英文） Zbl 1156.68312号 Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。《计算机科学讲义》4178275-290（2006）。MSC公司：68米14 68米15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.M.Mendizabal}和\textit{F.L.Dotti}，Lect。注释计算。科学。4178275-290（2006年；兹bl 1156.68312） 全文： 内政部
马蒂亚斯·昆茨;马库斯·西格尔 随机系统的符号模型检验：理论与实现。 （英文） Zbl 1178.68346号 Valmari，Antti（编辑），模型检查软件。第十三届国际SPIN研讨会，奥地利维也纳，2006年3月30日至4月1日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33102-6/pbk）。计算机科学课堂讲稿392589-107（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kuntz}和\textit{M.Siegle}，莱克特。注释计算。科学。3925、89-107（2006年；Zbl 1178.68346） 全文： 内政部
布罗斯特，I。;A.伯恩斯。;罗德里格斯-纳瓦斯，G。 电磁干扰下实时通信的时序分析。 （英文） Zbl 1086.68513号 实时系统。 30，编号1-2，55-81（2005）.MSC公司：68米15 PDF格式BibTeX公司 XML格式引用 \textit{I.Broster}等人，《实时系统》。30，编号1--2，55-81（2005；Zbl 1086.68513） 全文： 内政部
冈村弘之;南部宫城县。;Dohi，T。 具有恢复功能的单服务器类型软件系统的精细非齐次马尔可夫模型。 （英文） Zbl 1062.90018号 RAIRO，运营。物件。 36，第2期，129-148（2002）.MSC公司：90B22型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Okamura}等人，RAIRO，Oper。第36号决议，第2号，129--148（2002年；Zbl 1062.90018） 全文： 内政部 Numdam编号 Numdam编号 欧洲DML
阿加皮奥斯·普拉蒂斯。 可执行性度量的扩展及其在系统可靠性中的应用。 （英文） Zbl 1052.90026号 国际期刊计算。数字。分析。应用。 2，第1期，87-101（2002）.MSC公司：90B25型 60千克10 60J10型 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Platis}，国际计算机杂志。数字。分析。申请。2，第1号，87--101（2002；Zbl 1052.90026）
马尼什省马霍特拉 可修复马尔可夫系统瞬态分析的一种计算效率高的技术。 （英文） Zbl 0876.60073号 执行。评估。 24，第4期，311-331（1996）.MSC公司：60千克10 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Malhotra}，执行。评估。24，第4号，311--331（1996；Zbl 0876.60073） 全文： 内政部
阿提拉Csenki 由连续时间吸收马尔可夫过程建模的系统可靠性的复合度量。 （英文） Zbl 0871.90035号 导航。Res.Logist公司。 43，第2号，305-312（1996）.MSC公司：90B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Csenki}，海军。Res.Logist公司。43，第2号，305-312（1996；Zbl 0871.90035） 全文： 内政部
Jogesh K.穆帕拉。;马尼什马尔霍特拉;Kishor S.特里维迪。 复杂系统的马尔可夫可靠性模型：分析技术。 （英文） Zbl 0870.60069号 Ùzekici，Süleyman（编辑），复杂系统的可靠性和维护。1995年6月12日至22日在土耳其肯默尔-安塔利亚举行的北约ASI关于复杂系统可靠性和维护的当前问题和挑战的会议记录。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。154, 442-486 (1996).MSC公司：60J20型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Muppala}等人，北约ASI Ser。，序列号。F、 计算。系统。科学。154、442--486（1996年；Zbl 0870.60069）
德语，莱因哈德;凯琳，克里斯蒂安;阿明·齐默尔曼;贡特霍梅尔 TimeNET：用于评估非马尔可夫随机Petri网的工具包。 （英文） Zbl 0875.68665号 执行。评估。 24，编号1-2，69-87（1995）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.German}等人，《绩效评估》。24，编号1--2，69-87（1995；Zbl 0875.68665） 全文： 内政部
文森佐·格拉西 层次系统的可靠性评估。 （英文） Zbl 0790.68018号 学报信息。 31,3号，207-233（1994）.MSC公司：68平方米 60K20码 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Grassi}，Acta Inf.31，No.3，207--233（1994；Zbl 0790.68018） 全文： 内政部
埃德蒙多·德·索扎·席尔瓦;H.理查德·盖尔 计算机系统的性能分析：从模型规范到解决方案。 （英文） Zbl 0753.68017号 执行。评估。 14，第3-4号，157-196（1992）. 审核人：J.Martyna（克拉科夫） MSC公司：68平方米 68米15 90B25型 60K20码 PDF格式BibTeX公司 XML格式引用 \textit｛E.de Souza E Silva｝和\textit｛H.R.Gail｝，表演评估。14，编号3--4，157-196（1992；Zbl 0753.68017） 全文： 内政部
巴加，K.S。;贝内克，L.W。;M.J.利普曼。;皮佩特，R.E。 分离序列和网络可靠性。 （英文） Zbl 0712.05057号 组合数学、图论和计算，Proc。第19东南。Conf.，佛罗里达州博卡拉顿，1988年，Congr。Numerantium 66，293-300（1988）。MSC公司：05C99年 94C15号机组 PDF格式BibTeX公司 XML格式