{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T18:24:08Z”，“时间戳”：1725906248538}，“出版商位置”：“查姆”，“引用计数”：17，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319641188“}，{”类型“：”电子“，“value”：“9783319641195”｝]，“license”：[｛“start”：｛“date parts”：[[2017,1,1]]，“date time”：“2017-01-01T00:00:00Z”，“timestamp”：1483228800000｝，“content version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[2017]]}，“DOI”：“10.1007\/978-3-319-64119-5_11”，“type”：“book-chapter”，“created”：{“date-parts”：[[2017,8,1]]，“date-time”：“2017-08-01T13:05:09Z”，“timestamp”：1501592709000}，“prefix”：“10.1007”，“author”：[{“given”：“Sohag”，“family”：“Kabir”，“sequence”：“first”，“affiliation”：[]}{“给定”：“Jose Ignacio”，“家庭”：“Aizpurua”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“J\u00f6rg”，“family”：“Lampe”，“序列”：“附加的”，“从属关系”：[]}，}“giving”：“Erich”，“家族”：“R\u00fcde”，“sequence”:“additionable”，“隶属关系”：[]}]，“member”：“297”，“published on”：{“date-parts”：[2017,8,2]}，“reference”：[{“key”：“11_CR1”，“非结构化”：“Vesely，W.E.，Stamatelatos，M.，Dugan，J.，Fragola，J.，Minarick，J.，Railsback，J.：航空航天应用故障树手册。美国国家航空航天局安全和任务保证办公室，华盛顿特区（2002）”}，{“键”：“11_CR2”，“非结构化”：“Joshi，A.，Heimdahl，M.P.E.，Miller，S.P.，Whalen，M.W.：基于模型的安全分析。NASA技术报告，弗吉尼亚州汉普顿（2006）”}，{“关键”：“11_CR3”，“doi-asserted-by”：“crossref”，“首页”：“279”，“doi”：“10.1016\/0164-1212（93）90029-W”，“卷”：“21”，“作者”：“P Fenelon”，年：“1993”，“非结构化”：“Fenelon，P.，McDermid，J.A.：软件安全分析的集成工具集。J.Syst.Softw.21，279\u2013290（1993）”，“日志标题”：“J.Sys.Softw.”}，{“key”：“11_CR4”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”139“doi”：“10.1007 \/3-540-48249-0_13”，“volume-title”：“计算机安全、可靠性和安全”，“作者”：“Y Papadopoulos”，“年份”：“1999年”，“非结构化”：“Papadopulos，Y.，McDermid，J.A.：危险源和传播研究的分级执行。收录：Felici，M.，Kanoun，K.（编辑）SAFECOMP 1999。LNCS，第1698卷，第139\u2013152页。斯普林格，海德堡（1999）。doi:10.1007\/3-540-48249-0_13“}，{“key”：“11_CR5”，“doi-asserted-by”：“crossref”，“first page”：”109“，“doi”：“10.3233\/FI-1999-402302”，“volume”:“40”，“author”：“A Arnold”，“year”：“2000”，“unstructured”：“Arnold，A.，Point，G.，Griffault，A.，Rauzy，A.：描述并发系统的AltaRica形式主义。Fundam.Inform.40，109\u2013124（2000）“，”新闻标题“：”Fundam。通知。“}，{”key“：”11_CR6“，”first page“：“5”，“volume”：“9”，“author”：“M Bozzano”，“year”：“2007”，“unstructured”：“Bozzano，M.，Villafiorita，A.：FSAP\/NuSMV-SA安全分析平台。Int.J.Softw.Tools Technol.Transf.Spec.Sect.Adv.Autom.Verify.Crit.Syst.9，5\u201324（2007）”，“journal title”：“Int.J.Softw.Tools.Technol.Transf.Spec.Sect.”.高级。自动化。验证。批评。系统。“}，{”key“：”11_CR7“，”unstructured“：”Feiler，P.，Rugina，A.：用体系结构分析与设计语言（AADL）进行可靠性建模。技术报告，卡内基梅隆大学（2007）“}”，{“key”：“11_CR8”，“首页”：“12”，“卷”：“6”，“作者”：“JI Aizpurua”，“年份”：“2013”，“unstructure”：“”Aizpurua，J.I.，Muxika，E.：可靠系统的基于模型的设计：分析和验证方法的局限性和演变。国际高级证券杂志。6，12\u201331（2013）“，“期刊标题”：“国际期刊高级安全。“}，{”key“：”11_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Sharvia，S.，Kabir，S.、Walker，M.、Papadopoulos，Y.：基于模型的可靠性分析：最新技术、挑战和未来展望。摘自：《软件质量保证：大型复杂软件集成系统》，pp.251\u2013278（2015）“doi”：“10.1016\/B978-0-12-802301-3.00012-0“}，{“key”：“11_CR10”，“unstructured”：“Walker，M.：Pandora:时序故障树定性分析的逻辑。赫尔大学博士论文（2009）”}，}，“key“：”11_CR11“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/S0951-8320（02）00042-X”，“volume”：”78“，”author“：”a Rauzy“，“年份”：“2002”，“非结构化“：”Rauzy，A.：模式自动机及其编译为故障树。Reliab公司。工程系统。安全。78，1\u201312（2002）“，“新闻标题”：“Reliab。工程系统。安全。“}，{”key“：”11_CR12“，”doi-asserted-by“：”crossref“，”first-page“：”170“，”doi“：”10.1016\/j.arcontrol.2016.04.008“，”volume“：“41”“，”author“：”Y Papadopoulos“，”year“：”2016“，”unstructured“：”Papadopoulos，Y.、Walker，M.、Parker，D.、Sharvia，S.、Bottaci，L.、Kabir，S.，Azevedo，L.和Sorokos，I.：可靠系统设计中逻辑和生物灵感技术的综合。Ann.Rev.Control 41，170\u2013182（2016）“，”journal-title“：”Ann.Rev.Control“}，{”key“：”11_CR13“，”first page“：“229”，“volume”：“71”，“author”：“Y Papadopoulos”，“year”：“2001”，“unstructured”：“Papadopoulos，Y.、Mcdermid，J.、Sasse，R.、Heiner，G.：故障条件下复杂可编程电子系统行为的分析和合成。RESS 71，229\u2013247（2001）“，”journal-title“：”RESS“}，{”key“：”11_CR14“，”doi-asserted-by“：”crossref“，”first-page“：”105“，”doi“：”10.1109\/87.486338“，”volume“：“4”，”author“：”M Sampath“，”year“：”1996“，”unstructured“：”Sampath，M.、Sengupta，R.、Lafortune，S.、Sinnamohideen，K.、Teneketzis，D.：使用离散事件模型进行故障诊断。IEEE传输。控制系统。Technol公司。4，105\u2013124（1996）“，“期刊标题”：“IEEE Trans。控制系统。技术。“}，{”key“：”11_CR15“，”doi-asserted-by“：”crossref“，”first-page“：”458“，”doi“：”10.1016\/j.ifacol.2015.09.569“，”volume“：“48”，”author“：”S Kabir“，”year“：”2015“，”unstructured“：”Kabir，S.，Walker，M.，Papadopoulos，Y.：“通过petri网对潘多拉时间断层树进行定量评估。IFAC-PapersOnLine 48，458\u2013463（2015）“，”journal-title“：”IFAC-PapersOnLine“}，{“key”：“11_CR16”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”96“，“doi”：“10.1007\/978-3319-12214-4_8”，“volume-title”：”基于模型的安全与评估“，”author“：”S Kabir“，”year“2014”，“unstructured”：“Kabir，S.，Walker，M.，Papadopoulos，Y.：通过将时间故障树转换为贝叶斯网络对动态系统进行可靠性分析。收录：Ortmeier，F.，Rauzy，A.（编辑）IMBSA 2014。LNCS，第8822卷，第96\u2013109页。查姆施普林格（2014）。doi:10.1007\/978-3-319-12214-4_8“}，{“key”：“11_CR17”，“doi-asserted-by”：“crossref”，“first-page”：“219”，“doi”：“10.1016\/S0951-8320（00）00017-X”，“volume”：”68“，“author”：“PE Labeau”，“year”：“2000”，“unstructured”：“Labeau，P.E.，Smidts，C.，Swaminathan，S.：动态可靠性：走向概率风险评估的集成平台。Reliab.Eng。系统。安全。68，219\u2013254（2000）“，“新闻标题”：“Reliab。工程系统。安全。“}]，”container-title“：[”计算机科学课堂讲稿“，”基于模型的安全与评估“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-64119-5_11“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[2020,10,14]]，”日期-时间”：“2020-10-14T00:07:57Z”，“时间戳”：1602634077000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_11”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2017]]｝，“国际标准图书编号”：[“9783319641188”，“9783319641195”]，“引用次数”：17，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-319-64119-5_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”type“：”electronic“，”value“：”1611-349“}]，”subject“：【】，”published“：{”date-parts“：【2017】}}}