{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:11Z”，“时间戳”：1725494291999}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 755951“}]，”内容域“用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_31”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T10:03:37Z”，“timestamp”：1194084217000}，”page“441-456”，“source”：”Crossref“，”is-referenced-by-count“：48，”title“”：[“基于交互式马尔可夫链的动态故障树合成语义”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Hichem”，“家族”：“Boudali”，”sequence“：”first“，”affiliation“：[]}，{“given”：“Pepijn”，“family”：“Crouzen”，”serquence“:”additional“，”faliation“:[]}，{”given“：”Mari\u00eblle“，”“famile”：“Stoelinga”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“31_CR1”，“unstructured”：“Amari，S.，Dill，G.，Howald，E.：求解动态故障树的新方法。收录于：年度可靠性和可维护性研讨会，第374\u2013379页（2003年1月）”}，{“issue”：“1”，“key“31_CR2”，“doi-asserted-by”：“publisher”，《首页》：“2”，“doi”：“10.1016\/j.tcs.2005.07.022”，“volume”：“345”，“author”：“C.Baier”，“year”：“2005”，“unstructured”：“Baier，C.，Hermanns，H.，Katoen，j.P.，Haverkort，B.R.：均匀连续时间马尔可夫决策过程中有时限可达概率的有效计算。Theor.Comput.Sci.\u00a0345（1），2\u201326（2005）”，“journal-title”：“Theor.Comput.Sci.”}，{“key”：“31_CR3”，“unstructured”：“Boudali，H.，Crouzen，P.，Stoelinga，M.I.A.：CORAL-成分可靠性和可用性分析的工具。In:ARTIST workshop。在第19届国际计算机辅助验证会议上发表”}：“可靠系统和网络会议纪要”，“作者”：“H.Boudali”，“年份”：“2007年”，“非结构化”：“Boudili，H.，Crouzen，P.，Stoelinga，M.I.A.：使用输入/输出交互式马尔可夫链进行动态故障树分析。摘自：英国可靠系统和网络会议纪要，第708\u2013717页。IEEE Computer Society，Los Alamitos（2007）“}，{“key”：“31_CR5”，“unstructured”：“Boudali，H.，Crouzen，P.，Stoelinga，M.I.A.：动态故障树的成分分析。Twente大学技术报告（即将出版）”}，“issue”：“3”，“key“：”31_CR6“，”doi-asserted-by“：”publisher“，”first page“：“337”，“doi”：“10.1016\/j.ress.2004.06.004”，“volume”：”87“，“”author“：”H.Boudali“，”year“：”2005“，”unstructured“：”Boudoli，H.，Dugan，J.B.：离散时间贝叶斯网络可靠性建模与分析框架。可靠性工程与系统安全\u00a087（3），337\u2013349（2005）“，”journal title“：”reliability Engineering and System Safety“}，{“key”：“31_CR7”，“doi-asserted-by”：“publisher”，“第一页“：”451“，”DOI“：”10.1109\/RAMS.2005.1408404“，”volume-title“：”Proc。可靠性和可维护性研讨会”，“作者”：“H.Boudali”，“年份”：“2005年”，“非结构化”：“Boudili，H.，Dugan，J.B.：求解动态故障树的新贝叶斯网络方法。In：程序。可靠性和可维护性研讨会，第451\u2013456页。IEEE，Los Alamitos（2005）“}，{“问题”：“1”，“关键”：“31_CR8”，“doi-asserted-by”：“publisher”，“首页”：“5”，“doi”：“10.1016\/S0304-3975（01）00043-3”，“卷”：“282”，“作者”：“M.Bravetti”，“年份”：“2002”，“非结构化”：“Bravett，M.，Gorrieri，R.：交互式广义半马尔可夫过程理论。理论计算机科学\u00a0282（1），5\u201332（2002）“，“journal-title”：“理论计算机科学”}，{“key”：“31_CR9”，“unstructured”：“构建和分析\u00a0Distributed Processes（CADP）\u00a软件工具，\n\n http://www.inrialpes.fr\/vasy\/CADP\/”}程序。国际米兰。交响乐团。《软件可靠性工程》，“author”：“D.Coppit”，“year”：“2000”，“unstructured”：“Coppit，D.，Sullivan，K.J.，Dugan，J.B.：计算工程模型的形式语义：动态故障树的案例研究。In：程序。国际米兰。交响乐团。关于软件可靠性工程，第270\u2013282页。IEEE，Los Alamitos（2000）“}，{”issue“：”3“，”key“：”31_CR11“，”doi-asserted-by“：”publisher“，”first page“：“363”，“doi”：“10.1109\/24.159800”，“volume”：“41”，“author”：“J.B.Dugan”，“year”：“1992”，“unstructured”：“Dugan，J.B.，Bavuso，S.J.，Boyd，M.A.：容错计算机系统的动态无故障模型。IEEE Trans.on Reliability\u00a041（3），363\u2013377（1992）“，”期刊标题“：”IEEE Trans。关于可靠性“}，{“key”：“31_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Dugan，J.B.，Venkataraman，B.，Gulati，R.：DIFTree:动态故障树模型分析的软件包。见：可靠性和可维护性研讨会，第64\u201370页（1997年1月）”，“doi”：“10.1109\/RAMS.1997.571666”}计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”410“，“doi”：“10.1007\/3-540-45614-7_23”，“volume-title”：“FME 2002”，“author”：“H.Garavel”，“year”：“2002”，”unstructured“：”Garavel，H.，Hermanns，H.：关于使用cadp结合功能验证和性能评估。In:Eriksson，L.-H.，Lindsay，P.A.（编辑）FME 2002。LNCS，卷\u00a02391，第410\u2013429页。Springer，Heidelberg（2002）“}，{”key“：”31_CR14“，”series-title“：”计算机科学讲义“，”volume-title“：“交互式马尔可夫链”，“author”：“H.Hermans”，“year”：“2002”，“unstructured”：“Hermans，H.：交互式马尔可夫链。LNCS，vol.\u00a02428。Springer，Heidelberg（2002）“}，{”key“：”31_CR15“，”first page“：“718”，”volume-title“：”Proc.of Reliable Systems and Networks conference“，”author“：”H.Hermanns“，”year“：”2007“，”unstructured“：”Hermanns，H.，Johr，S.：非确定性随机系统分析中的构造一致性。In：程序。可靠系统和网络会议，英国，第718\u2013728页。IEEE Computer Society，Los Alamitos（2007）“}，{”issue“：“1”，”key“：“31_CR16”，”doi-asserted-by“：”publisher“，”first page“：”97“，”doi“：”10.1016\/S0167-6423（99）00019-2“，”volume“：Hermanns，H.，Katoen，J.P.：普通电话系统的自动组合马尔可夫链生成。科学。公司的。Programming\u00a036（1），97\u2013127（2000）“，“journal-title”：“Sci。公司的。编程“｝，｛”issue“：“3”，“key”：“31_CR17”，“首页”：“219”，“卷”：“2”，“作者”：“N.A.Lynch”，“年份”：“1989”，“非结构化”：“Lynch，N.A.，Tuttle，M.R.：输入/输出自动机简介。《化学武器情报季刊》\u00a02（3），219\u2013246（1989）”，“期刊标题”：“化学武器情报季刊”｝，｛”issue“：“3”，“key”：“31_CR18”，“doi asserted by”：“publisher”，“第一页”：“428“，”DOI“：”10.1109\/24.406578“，”volume“：”44“，”author“：”M.Malhotra“，“year”：“1995”，”unstructured“：”Malhotara，M.，Trivedi，K.S.：使用petri-nets进行可靠性建模。IEEE可靠性事务处理\u00a044（3），428\u2013440（1995）”，“期刊标题”：“IEEE可靠性问题事务处理”}，{“卷标”：“软件规范与设计研讨会”，“年份”：“1993”，“作者”：“K.-C.Tai”，“密钥”：“31_CR19”，“非结构化”：“Tai，K.C.，Koppol，P.V.：分布式程序可达性分析的增量方法。摘自：软件规范与设计研讨会，IEEE计算机学会出版社，Los Alamitos（1993）“}，{“key”：“31_CR20”，“unstructured”：“Veseley，W.E.，Goldberg，F.F.，Roberts，N.H.，Haasl，D.F.：故障树手册，NUREG-0492。技术报告，NASA（1981）“}”，“container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_31.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,4,27]]，“日期时间”：“2021-04-27T06:25:27Z”，“时间戳”：1619504727000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\link.springer.com\/10.1007\/978-3-540-75596-8_31”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[null]}，“ISBN”：[“9783540755951”]，“references-count”：20，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_31“，”关系“：{}，”主题“：[]}}