{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,2,3]]，“日期-时间”：“2024-02-03T09:52:55Z”，“时间戳”：1706953975904}，“参考-计数”：68，“出版商”：“Springer Science and Business Media LLC”：“2006-06-29T00:00:00Z”，“timestamp”：1151539200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Int J Softw Tools Technol Transfer“]，”published-print“：{”date-parts“：[[2007,2,7]]}”，“DOI”：“10.1007\/s10009-00 6-0001-2“，”type“：”journal-article“，”created“：{“date-parts”：[[2006,6,28]]，“date-time”：“2006-06-28T11:11Z”，“timestamp”：1151493071000}，“page”：“5-24”，“source”：”Crossref“，“is-referenced-by-count”：73，“title”：[“The FSAP\/NuSMV-SA安全分析平台”]，“prefix”：“10.1007”，“volume”:“9”，“author”：[{“given”：：“Marco”，“family”：“Bozzano”，“sequence”：“first”，“affiliation”“：[]}，{”given“：”Adolfo“，”family“：“Villafiorita”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2006,6,29]]}，“reference”：[{“key”：“1_CR1”，“unstructured”：“Abdulla，P.A.，Deneux，J.，St\u00e5lmarck，G.，\u00c5gren，H.，\u 00c5kerlund，O.：使用scade设计安全可靠的系统。In:利用形式方法应用研讨会ISoLA 2004（2004）”}，{“key”：“1_CR2”，“非结构化”:“\u00c5kerlund，O.，Bieber，P.，B\u00f6ede，E.，Bozzano，M.，Bretschneider，M和人的方面。In:嵌入式实时软件欧洲会议记录（ERTS 2006）（2006）“}，{”key“：”1_CR3“，”doi-asserted-by“：”crossref“，”first page“：“133”，”doi“：”10.1109\/TR.1987.5222318“，”volume“：过程控制系统的计算机辅助马尔可夫故障建模。IEEE传输。Reliab公司。R-36:133\u2013144“，“期刊标题”：“IEEE Trans。Reliab公司。“}，{”key“：”1_CR4“，”doi-asserted-by“：”crossref“，”first page“：“109”，“doi”：“10.3233\/FI-1999-402302”，“volume”：“40”，“author”：“A.Arnold”，“year”：“2000”，“unstructured”：“Arnold A.，Griffault A.，Point G.，Rauzy A.（2000）。描述并发系统的AltaRica形式主义。Fundam.Inform.40:109\u2013124“，“journal-title”：“Fundam.Inform”。”}，{“密钥”：“1_CR5“，“首页”：“195”，“卷时间”：“自动扣除程序会议（CADE-18），LNAI第2392卷”，“作者”：“G.Audemard”，“年份”：“2002”，“非结构化”：“AudemardG.，Bertoli P.，Cimatti A.，Korni\u0142owicz A.，Sebastiani R.（2002）。基于SAT的布尔和线性数学命题公式求解方法。收录：Voronkov A.（eds）自动扣除会议记录（CADE-18），LNAI第2392卷。Springer，Berlin Heidelberg New York，第195\u2013210页“}，{“问题”：“2”，“关键”：“1_CR6”，“doi-asserted-by”：“交叉引用”，“首页”：“17”，“doi”：“10.1016\/j.entcs.2004.12.022”，“卷”：“119”，“作者”：“G.Audemard”，“年份”：“2005”，“非结构化”：“Audemard-G.，Bozzano M.，Cimatti A.，Sebastiani R.（2005）.使用MathSAT验证工业混合系统。电子。注释Theor。公司。科学。119（2）：17\u201332“，“新闻标题”：“电子。注释Theor。公司。科学。“｝，｛”key“：”1_CR7“，”doi asserted by“：”crossref“，”nonstructured“：”Audemard，G.，Cimatti，A.，Korni\u0142owicz，A.，Sebastiani，R.：定时系统的有界模型检查。In：Peled，D.A.，Vardi，M.Y.（编辑）《网络与分布式系统正式技术会议论文集》（FORTE 2002），LNCS第2529卷，第243\u2013259页。Springer，Berlin Heidelberg New York（2002）”，“DOI”：“10.1007\/3-540-336135-9_16”}，｛“key”：“1_CR8”，“首页”：“19”，“卷标题”：“欧洲可靠计算会议记录（EDCC-4），第2485卷LNCS。”，“作者”：“P.Bieber”，“年份”：“2002”，“非结构化”：“Bieber P.，Castel C.，Seguin C.（2002）将故障树分析和模型检查相结合，用于复杂系统的安全评估。收录于：Grandoni，F.，Th\u00e9venod-Fosse，P.（eds.）《欧洲可靠计算会议论文集》（EDCC-4），第2485卷LNCS。Springer，Berlin Heidelberg New York，第19\u201331页”}，{“key”：“1_CR9”，“first page”：”193“，“volume-title”：“系统构建和分析工具和算法会议论文集（TACAS 1999），LNCS第1579卷”，“author”：“A.Biere”，“year”：“1999”，“unstructured”：“Biere A.，Cimatti A.，Clarke E.M.，Zhu Y.（1999）.不带BDD的符号模型检查。收录于：Cleaveland，R.（ed.）《系统构建和分析工具和算法会议论文集》（TACAS 1999），LNCS第1579卷。Springer，Berlin Heidelberg New York，第193\u2013207页“}，{“键”：“1_CR10”，“首页”：“335”，“卷标”：“计算机辅助验证会议（CAV 2005），LNCS第3576卷”，“作者”：“M.Bozzano”，“年份”：“2005”，“非结构化”：“Bozzano M.，Bruttomesso R.，Cimatti A.，Junttila T.，Ranise S.，van Rossum P.，Sebastiani R.（2005）.通过延迟理论组合实现有效的可满足性模理论。收录于：Etessami K.，Rajamani S.K.（编辑）计算机辅助验证会议（CAV 2005），LNCS第3576卷。Springer，Berlin Heidelberg New York，pp.335\u2013349“}，{“key”：“1_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano，M.，Bruttomesso，R.，Cimatti，A.，Junttila，T.，Ranise，S.，van Rossum，P.，Sebastiani，R.：通过布尔搜索进行有效的理论组合。In:信息与计算，组合逻辑系统专刊（2006）（印刷中）“，”DOI“：”10.1016\/j.ic.2005.05.011“}，{”key“：”1_CR12“，”首页“：”317“，”volume-title“：”系统构建和分析工具和算法会议（TACAS 2005），LNCS第3440卷“，”author“：”M.Bozzano“，”year“：”2005“，”unstructured“：”Bozzano M.、Bruttomesso R.、Cimatti A.、Junttila T.、van Rossum P.、Schulz S.、Sebastiani R.（2005）。线性算术逻辑可满足性的增量分层过程。摘自：Halbwachs N.、Zuck L.D.（编辑）《系统构建和分析工具和算法会议论文集》（TACAS 2005），LNCS第3440卷。Springer，Berlin Heidelberg New York，pp.317\u2013333“}，{“key”：“1_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano，M.，Bruttomesso，R.，Cimatti，A.，Junttila，T.，van Rossum，P.，Schulz，S.，Sebastiani，R.：Mathsat：SAT与数学决策程序的紧密结合。J.Autom.Reasoning，SAT专刊（2006年）（出版）“，”DOI“：”10.1007\/978-1-4020-5571-3_12“}，{”key“：”1_CR14“，”DOI-asserted-by“：”crossref“，”unstructured“：”Bozzano，M.，Cavallo，A.，Cifaldi，M.、Valacca，L.，Villafiorita，A.：改进复杂系统的安全评估：工业案例研究。摘自：Araki，K.，Gnesi，S.，Mandrioli，D.（eds.）《欧洲正式方法研讨会论文集》（FM 2003），LNCS第2805卷，第208\u2013222页。Springer，Berlin Heidelbreg New York（2003）”，“DOI”：“10.1007\/978-3-540-45236-2_13”}，｛“key”：“1_CR15”，“nonstructured”：“Bozzano，M.，Villafiorita，A.：将故障树分析与事件排序信息集成。在：欧洲安全与可靠性会议记录（ESREL 2003），第247\u2013254页。Balkema，Rotterdam（2003）“}，{“key”：“1_CR16”，“unstructured”：“Bozzano，M.、Villafiorita，A.、\u00e5kerlund，O.、Bieber，P.、Bougnol，C.、B\u00f6de，E.、Bretschneider，M.，Cavallo，A.、Castel，C.、Cifaldi，M.和Cimatti，A.、Griffault，A.、Kehren，C.、Lawrence，B.、L\u00fcdtke，A.、Metge，S.、Papadopoulos，C.、Passarello，R.、Peikenkamp，T.、Persson，P.和Seguin，C.、Trotta，L.、Valacca，L.和Za cco、，G.：ESACS：复杂系统设计和安全分析的综合方法。摘自：《欧洲安全与可靠性会议记录》（ESREL 2003），第237\u2013245页。Balkema，Rotterdam（2003）“}，{”issue“：”3“，”key“：”1_CR17“，”doi-asserted-by“：”crossref“，”first page“：“293”，“doi”：“10.1145\/136035.13643”，“volume”：“24”，“author”：“R.E.Bryant”，“year”：“1992”，“unstructured”：“Bryant R.E.（1992）。有序二元决策图的符号布尔运算。ACM Compute.Surv.24（3）：293\u2013318”，“journal-title”：“”ACM计算。Surv公司。“}，{”key“：”1_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Chiappini，A.，Cimatti，A.，Porzia，C.，Rotondo，G.，Sebastiani，R.，Traverso，P.，Villafiorita，A.：安全关键型列车管理系统的正式规范和开发。In:Felici，M.，Kanoun，K.，Pasquini，A.（编辑）计算机安全、可靠性和安全会议记录（SAFECOMP 1999），LNCS第1698卷，第410\u2013419页。Springer，Berlin Heidelberg New York（1999）“，“DOI”：“10.1007\/3-540-48249-0_35”}，{“key”：“1_CR19”，“unstructured”：“Ciardo，G.，Jones，R.L.，Miner，A.S.，Siminiceanu，R.：SMART：可靠性和时间的随机模型分析仪。收录于：《计算机通信系统测量、建模和评估多方会议记录》，第29页\u201334（2001）“}，{“key”：“1_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Ciardo，G.，Siminiceanu，R.：异步系统的结构符号CTL模型检查。收录：Hunt Jr，W.A.，Somenzi，F.（eds.）计算机辅助验证会议记录（CAV 2003），LNCS第2725卷，第40\u201353页。Springer，Berlin Heidelberg New York（2003）“，“DOI”：“10.1007\/978-3-540-45069-6_4”}，{“key”：“1_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cimatti，A.：模型检查的工业应用。In:Cassez，F.，Jard，C.，Rozoy，B.Ryan，M.D.（eds.）《并行过程建模与验证程序》（MOVEP 2000）LNCS第2067卷，第153\u2013168页。Springer，Berlin Heidelberg New York（2001）“，”DOI“：”10.1007 \/3-540-45510-8_6“}，{“key”：“1_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cimatti，A.，Clarke，E.M.，Giunchiglia，E.，Giunciglia，F.，Pistore，M.，Roveri，M计算机辅助验证会议记录（CAV 2002），LNCS第2404卷，第359\u2013364页。Springer，Berlin Heidelberg New York（2002）“，”DOI“：”10.1007\/3-540-45657-0_29“}，{”issue“：”4“，”key“：”1_CR23“，”DOI-asserted-by“：”crossref“，”first page“：“410”，“DOI”：“10.1007\/s100090050046”，“volume”：“2”，“author”：“A.Cimatti”，“year”：“2000”，“unstructured”：“Cimatti A.，Clarke E.M.，Giunchiglia F.，Roveri M.（2000））.NuSMV：一种新的符号模型检查器。柔和。技术工具。Transf公司。2（4）：410\u2013425“，“新闻标题”：“Softw。技术工具。Transf公司。“}，{”key“：”1_CR24“，”首页“：”1584“，”volume-title“：”《世界形式方法大会论文集》，（FM 1999），第二卷，LNCS第1709卷“，”author“：”A.Cimatti“，”year“：”1999“，”unstructured“：”Cimatti A.，Pieraccini P.L.，Sebastiani R.，Traverso P.，Villafiorita A.（1999）.重要通信协议的正式规范和验证。在：Wing J.M.，Woodcock J.，Davies J.（编辑）《世界正式方法大会论文集》，（FM 1999），LNCS第二卷，第1709卷。Springer，Berlin Heidelberg New York，pp.1584\u20131604“}，{“key”：“1_CR25”，“volume-title”：“Model Checking”，“author”：“E.M.Clarke”，“year”：“2000”，“unstructured”：“Clarke E.M.，Grumberg O.，Peled D.A.（2000）.Model Checkeling.MIT Press，Cambridge”}，“key“：”1_CR26“unstrustured”Cojazzi，G.，Izquierdo，J.M.，Mel\u00e9ndez，E.，Perea，M.S.：使用动态事件树对保护系统进行可靠性和安全评估。DYLAM-TRETA包。收录：第十八届年会会议记录（西班牙）。Soc.（1992）“}，{”key“：”1_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”Coudert，O.，Madre，J.C.：布尔函数的素数和基本素数的隐式和增量计算。摘自：《设计自动化会议论文集》（DAC 1992），第36\u201339页。IEEE Computer Society Press，（1992）“，“DOI”：“10.1109\/DAC.1992.227866”}，{“key”：“1_CR28”，“unstructured”：“Coudert，O.，Madre，J.C.：故障树分析：1020个主要含义及以后。In:年度可靠性和可维护性研讨会论文集（RAMS 1993），（1993）”}。Dabney”，“年份”：“2003年”，“非结构化”：“Dabney-J.B.，Harman T.L.（2003）。掌握Simulink。Prentice Hall，Englewood Cliffs，NJ“}，{“key”：“1_CR30”，“doi-asserted-by”：“crossref”，“unstructured”：“Deneux，J.，\u00e5kerlund，O.：使用形式方法进行设计和安全分析的通用框架。In:概率安全评估和管理会议论文集（PSAM7\/ESREL\u201904），（2004）”，“doi”：“10.1007\/978-0-85729-41-66”}，{“key”：“1_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“Devooght，J.，Smidts，C.：概率动力学：未来的数学和计算问题。In:Aldemir，T.，Siu，N.O.，Mosleh，A.，Cacciabue，P.C.，G\u00f6ktepe，B.G.（eds.）《动态过程系统的可靠性和安全评估》，北约ASI系列F第120卷，第85\u2013100页。Springer，Berlin Heidelberg New York（1994）“，“DOI”：“10.1007\/978-3662-03041-7_7”}，{“key”：“1_CR32”，“DOI-asserted-by”：“crossref”，“unstructured”：“Doyle，S.A.，Dugan，J.B.：使用二进制决策图（BDD）进行可靠性评估。摘自：容错计算会议论文集（FTCS 1995），第249\u2013258页。IEEE Computer Society Press（1995）“，”DOI“：”10.1109\/FTCS.1995.466973“}，{”issue“：”6“，”key“：”1_CR33“，”DOI-asserted-by“：”crossref“，”first page“：“775”，“DOI”：“10.1109\/12.4286”，“volume”：“38”，“author”：“J.B.Dugan”，“year”：“1989”，“unstructured”：“Dugan J.B.，Trivedi K.S.（1989）容错系统可靠性分析的覆盖建模。IEEE传输。计算。38（6）：775\u2013787“，“期刊标题”：“IEEE Trans。计算。“}，{”key“：”1_CR34“，”doi-asserted-by“：”crossref“，”unstructured“：”Dutertre，B.，Sorea，M.：使用日历自动机对容错实时启动协议进行建模和验证。In：Lakhnech，Y.，Yovine，S.（eds.）《实时和容错系统中定时系统和形式化技术的形式化建模与分析联席会议论文集》（FORMATS \/FTRFT 2004），LNCS第3253卷，第199\u2013214页。Springer，Berlin Heidelberg New York（2004）“，“DOI”：“10.1007\/978-3-540-30206-3_15”}，{“key”：“1_CR35”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dwyer，M.B.，Avrunin，G.S.，Corbett，J.C.：有限状态验证的属性规范模式。摘自：软件工程会议论文集（ICSE 1999），第411\u2013420页。ACM出版社（1999）“，”DOI“：”10.1145\/302405.302672“}，{”key“：”1_CR36“，”first page“：“995”，”volume-title“：”理论计算机科学手册，第B卷“，”author“：”E.A.Emerson“，”year“：”1990“，”unstructured“：”Emerson E.A.（1990）。时间和模态逻辑。In:van Leeuwen J.（eds）Handbook of Theory Computer Science，第B版。Elsevier，Amsterdam，pp.995\u20131072“}，{“问题”：“4”，“关键”：“1_CR37”，“doi-asserted-by”：“交叉引用”，“首页”：“331”，“doi”：“10.1007\/BF00355298”，“卷”：“四”，“作者”：“E.A.Emerson”，“年份”：“1992”，“非结构化”：“Emerson E.A.，Mok A.K.，Sistla A.P.，Srinivasan J.（1992）。定量时间推理。实时系统。4（4）：331\u2013352“，”journal-title“：”实时系统。“}，{”issue“：”1“，”key“：”1_CR38“，”doi-asserted-by“：”crossref“，”first-page“：”21“，”doi“：”10.1145\/381766.381770“，”volume“：“2”，”author“：”P.Fenelon“，“year”：“1994”，“unstructured”：“Fenelone P.，McDermid J.A.，Nicholson M.，Pumfrey D.J.（1994）。面向集成安全分析与设计。应用计算修订版2（1）：21\u201332”，“日志标题“：”申请。计算。Rev.“}，{“key”：“1_CR39”，“doi-asserted-by”：“crossref”，“unstructured”：“VIS Group。VIS：验证和合成系统。In:Alur，R.，Henzinger，T.a.（eds.）《计算机辅助验证会议论文集》（CAV 1996），LNCS第1102卷，第428\u2013432页。Springer，Berlin Heidelberg New York（1996）“，“DOI”：“10.1007\/3-540-61474-5_95”}，{“key”：“1_CR40”，“DOI-asserted-by”：“crossref”，“unstructured”：“Henzinger，T.A.：混合自动机理论。摘自：计算机科学中的逻辑研讨会论文集（LICS 1996），第278\u2013292页。IEEE Computer Society Press（1996）“，”DOI“：”10.1109\/LICS.1996.561342“}，{”key“：”1_CR41“，”DOI-asserted-by“：”crossref“，”first page“：“110”，”DOI:“10.1007\/s100090050008”，“volume”：“1”，“author”：“T.A.Henzinger”，“year”：“1997”，“unstructured”：“Henziger T.A.（1997）。HyTech:混合系统的模型检查器。Softw.Tools Technol.Transf.1:110\u2013.122“，”journal-title“：”软件。技术工具。Transf公司。“}，{”key“：”1_CR42“，”doi-asserted-by“：”crossref“，”unstructured“：”Hinchey，M.G.，Bowen，J.P.：（eds.）Industrial Strength Formal Methods in Practice.Formal Approachs to Computing and Information Technology。Springer，Berlin Heidelberg New York（1999）。“，”doi“：”10.1007\/978-1-4471-0523-7第一页“：”279“，”DOI“：”10.1109\/32.588521“，”卷“：”23“，”作者“：”G.J.Holzmann“，”年份“：”1997“，”非结构化“：”Holzmann-G.J.（1997）。模型检查器SPIN。IEEE传输。柔和。工程23（5）：279\u2013295“，”期刊标题“：”IEEE Trans。柔和。Eng.“}，{“key”：“1_CR44”，“doi-asserted-by”：“crossref”，“unstructured”：“Joshi，A.，Heimdahl，M.P.E.：使用SCADE设计验证器对simulink模型进行基于模型的安全性分析。In:Winther，R.，Gran，B.A.，Dahl，G.（eds.）《计算机安全、可靠性和安全会议论文集》（SAFECOMP 2005），LNCS第3688卷，第122\u2013135页。Springer，Berlin Heidelberg New York（2005）“，“DOI”：“10.1007\/11563228_10”}，{“key”：“1_CR45”，“DOI-asserted-by”：“crossref”，“unstructured”：“Joshi，A.，Miller，S.P.，Whalen，M.，Heimdahl，M.P.E.：基于模型的安全分析提案。摘自：AIAA\/IEEE数字航空电子系统会议论文集（2005）”，“DOI:”10.1109\/DASC.2005.1563469“}，{“issue”：“1-2”，“key”：“1_CR46”，“doi-asserted-by”：“crossref”，“first page”：”134“，“doi”：“10.1007\/s100090050010”，“volume”：：“1”，“author”：“K.G.Larsen”，“year”：“1997”，“unstructured”：“Larsen K.G.，Pettersson P.，Yi W.（1997）.UPPAAL in a Nutshell.Softw.Tools Technol.Transf.1（1-2）：134\u2013152”，”journal-title“Softw.Tools Technol.Transf.“}，{”键“：“1_CR47”，“doi-asserted-by”：“crossref”，“unstructured”：“Liggesmeyer，P.，Rothfelder，M.：通过自动故障树生成提高系统可靠性。摘自：容错计算会议论文集（FTCS 1998），第90\u201399页。IEEE Computer Society Press（1998）“，“DOI”：“10.1109\/FTCS.1998.689458”}，{“key”：“1_CR48”，“unstructured”：“Manian，R.，Coppit，D.W.，Sullivan，K.J.，Dugan，J.B.：弥补故障树分析建模工具与建模系统之间的差距。摘自：《年度可靠性和可维护性研讨会论文集》（RAMS 1999），pp.105\u2013111（1999）“}，{“key”：“1_CR49”，“doi-asserted-by”：“crossref”，“unstructured”：“Manian，R.，Dugan，J.B.，Coppit，D.，Sullivan，K.J.：结合计算机系统动态故障树分析的各种解决方案技术。摘自：《高保证系统工程研讨会论文集》（HASE 1998），pp.21\u201328。IEEE计算机学会出版社（1998）”，“DOI”：“10.1109\/HASE.1998.731591”}，{“key”：“1_CR50”，“非结构化”：“Manquinho，V.M.，Oliveira，A.L.，Marques Silva，J.P.：计算最小大小素数隐式的模型和算法。在：国际布尔问题研讨会论文集（IWBP 1998）（1998）”}，{“key”：“1_CR51”，DOI断言为“：”crossref”，“首页”：“371”，“DOI”：“10.1016/S0378-4754（98）00112-8”，“卷”：“47”，“作者”：“M.Marseguerra”，“年份”：“1998”，“非结构化”：“Marseguerra M.，Zio E.，Devooght J.，Labeau P.E.（1998）。通过蒙特卡罗模拟的动态可靠性概念文件。数学。计算。模拟。47:371\u2013382“，“新闻标题”：“数学。计算。模拟。“}，{”key“：”1_CR52“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/9781-4615-3190-6“，”volume-title“：”符号模型检查“，”author“：”K.L.McMillan“，“year”：“1993”，“unstructured”：“McMillan-K.LMiller，S.P.，Tribble，A.C.，Heimdahl，M.P.E.：验证页岩。摘自：《欧洲形式方法学报》（FM 2003），LNCS第2805卷，第75\u201393页。Springer，Berlin Heidelberg New York（2003）“，“DOI”：“10.1007\/978-3-540-45236-2_6”}，{“key”：“1_CR54”，“DOI-asserted-by”：“crossref”，“unstructured”：“Papazoglou，I.A.：动态系统的马尔科夫可靠性分析。In:Aldemir，T.，Siu，N.O.，Mosleh，A.，Cacciabue，P.C.，G\u00f6ktepe，B.G.（eds.）《动态过程系统的可靠性和安全评估》，北约ASI系列F第120卷，第24\u201343页。Springer，Berlin Heidelberg New York（1994）“，”DOI“：”10.1007\/978-3662-03041-7_3“}，{”key“：”1_CR55“，”unstructured“：”Peikenkamp，T.，B\u00f6ede，E.，Br\u00fcckner，I.，Spenke，H.，Bretschneider，M.，Holberg，H.-J.：襟翼控制系统的基于模型的安全分析。摘自：2004年INCOSE国际研讨会论文集（2004）“}”，{“key”：“1_CR56“，“非结构化”：“Rae，A.：自动故障树生成-导弹防御系统案例研究。技术报告00-36，昆士兰大学软件验证研究中心（2000）“}，{“问题”：“3”，“关键”：“1_CR57”，“doi-asserted-by”：“crossref”，“首页”：“203”，”doi“：”10.1016\/0951-8320（93）90060-C“，”volume“：”40“，”author“：”A.Rauzy“，”year“：”1993“，”unstructured“：”RauzyA.（1993）。故障树分析的新算法。Reliab.Eng。系统。安全。40（3）：203\u2013211“，“新闻标题”：“Reliab。工程系统。安全。“}，{”issue“：”2“，”key“：”1_CR58“，”doi-asserted-by“：”crossref“，”first page“：“127”，“doi”：“10.1016\/S0951-8320（97）00034-3”，“volume”：“58”，“author”：“A.Rauzzy”，“year”：“1997”，“unstructured”：“Rauzy A.，Dutuit Y：127\u2013144“，”新闻标题“：”Reliab。工程系统。安全。“}，{”key“：”1_CR59“，”doi-asserted-by“：”crossref“，”unstructured“：”Sch\u00e4fer，A.：结合实时模型检查和故障树分析。摘自：《欧洲形式方法学报》（FM 2003），LNCS第2805卷，第522\u2013541页。Springer，Berlin Heidelberg New York（2003）“，”DOI“：”10.1007\/978-3-540-45236-2_29“}，{”key“：”1_CR60“，”DOI-asserted-by“：”crossref“，”first page“：“43”，“DOI”：“10.1016\/0951-8320（94）90095-7”，“volume”：“43“，”author“：”N.O.Siu“，”year“：”1994“，”unstructured“：”Siu N.O.（1994）。动态系统的风险评估：概述。Reliab.Eng。系统。安全。43:43\u201374“，“新闻标题”：“Reliab。工程系统。安全。}，{“问题”：“3”，“关键”：“1_CR61”，“首页”：“241”，“卷”：“111”，“作者”：“C.Smidts”，“年份”：“1992”，“非结构化”：“Smidts C.，Devooght J.（1992）。概率反应堆动力学II。蒙特卡罗快速反应堆瞬态研究。科学与工程学报111（3）：241\u2013256”，“期刊标题”：“蒙特卡罗快堆瞬态研究。编号。科学。Eng.“}，{”key“：”1_CR62“，”doi-asserted-by“：”crossref“，”unstructured“：”Sullivan，K.J.，Dugan，J.B.，Coppit，D.：伽利略故障树分析工具。摘自：容错计算会议论文集（FTCS 1999），pp.232\u2013235。IEEE Computer Society Press（1999）“，“DOI”：“10.1109\/FTCS.1999.781056”}，{“key”：“1_CR63”，“unstructured”：“Tang，Z.，Dugan，J.B.：在系统分析中合并常见原因故障的集成方法。in:Proceedings of the Annual Reliability and Maintainability Symposium（2004）”}中，{（密钥）：“1_ CR64”，“DOI-asserted-by”：“crossref”，“非结构化”：“Thums，A.，Schellhorn，G.：模型检查FTA。摘自：《欧洲形式方法学报》（FM 2003），LNCS第2805卷，第739\u2013757页。Springer，Berlin Heidelberg New York（2003）“，“DOI”：“10.1007\/978-3-540-45236-2_40”}，{“key”：“1_CR65”，“DOI-asserted-by”：“crossref”，“unstructured”：“Tribble，A.C.，Lempia，D.L.，Miller，S.P.：飞行制导系统的软件安全分析。In:Proceedings AIAA\/IEEE Digital Avionics Systems Conference（2002）”，“DOI:”10.1109\/DASC.2002.1053007“}”，{“key”：“1_CR66”，“doi-asserted-by”：“crossref”，“unstructured”：“Tribble，A.C.，Miller，S.P.：飞行管理系统垂直导航功能的软件安全分析\u2014a状态报告。摘自：Proceedings AIAA\/IEEE Digital Avionics Systems Conference（2003）”，“doi”：“10.1109\/DASC.2003.1245805”}，{：“Vesely，W.E.，Goldberg，F.F.，Roberts，N.H.，Haasl，D.F.：故障树手册。技术报告NUREG-0492，美国核管理委员会核管理研究系统和可靠性研究办公室（1981）”}，{“问题”：“9”，“键”：“1_CR68”，“doi-asserted-by”：“crossref”，“首页”：“8”，“doi”：“10.1109\/2.58215”，“卷”：“23”，“作者”：“J.M.Wing”，“年份”：“1990年”，“非结构化”：“Wing J.M.（1990）.规范符\u2019s形式方法介绍.IEEE Compute.23（9）：8\u201324”，“日志标题”：“IEEE Computer.”}]，“容器标题”：[“国际技术转让软件工具杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10009-006-0001-2.pdf”，“content-type”：“application\/pdf”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.sringer.com\/article\/10.10007\/s10009-006-0001-2\/fulltext.html”，“content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/s10009-006-0001-2”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2020,4,15]]，“日期时间”：“2020-04-15T22:00:12Z”，“时间戳”：1586988012000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\/link.springer.com/10.1007\/s10009-006-0001-2”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2006,6,29]]}x.doi.org \/10.1007\/s10009-006-0001-2“，”关系“：{}，”ISSN“：[”1433-2779“，“1433-2787”]，“issn-type”：[{“value”：“1433-2779”，“type”（类型）：“print”}，{“value”（值）：“1433-1787”，“类型”：“electronic”}]，“subject”：[]，“published”（发布）：{“date-parts”（日期-部分）：[2006年6月29日]}}}}