{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,5,16]]，“日期时间”：“2023-05-16T19:51:04Z”，“时间戳”：16842664856}，“出版商位置”：“查姆”，“参考计数”：21，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319122137”，“类型”：”打印“}，{“值”：“9783319122144”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2014,1,1]]，“date-time”：“2014-01-01T00:00:00Z”，“timestamp”：1388534400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-ports”：[2014,1,1]，“日期-时间”：“2014-01T00:00 0:00Z“，”时间戳“：1388534400000}，”内容版本“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]}，”DOI“：”10.1007\/978-3-19-12214-4_7“，”type“：”book-capter“，”created“：”{“date-part”：[2014,9,24]]，“日期时间”：“2014-09-24T05:48:44Z”，“时间戳”：1411537724000}，“页面”：“82-95”，“来源”：“Crossref”，“is-referenced-by-count”：14，“标题”：[“航空航天FDIR设计的集成过程”]，“前缀”：“10.1007”，《作者》：[{“给定”：“本杰明”，“家族”：“比特纳”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Marco”，“family”：“Bozzano”，“序列”：“附加”，“从属关系”：[]}，}“给定的”：“亚历山德罗”，“家庭”：“Cimatti”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Regis”，“family”：“De Ferluc”，“se序列”：“附加”，“从属关系”：[]}，}“giving”：“Marco”，“家族”：“Gario”，“sequence”:“additionable”，“abfiliation“：[]{”given“gived”：“Andrea”，htein“，”sequence“：”附加“，“affiliation”：[]}]，“member”：“297”，“reference”：[{“issue”：“2”，“key”：“7_CR1”，“doi-asserted-by”：“publisher”，”first page“：”240“，”doi“：”10.1109\/TIM.2008.2005958“，”volume“：“58”，“author”：“S.Abdelwahed”，“year”：“2009”，“unstructured”：“Abdelwahed，S.，Karsai，G.，Mahadevan，N.，Ofsthun，S.C.：使用定时故障传播图模型的诊断系统的实际实现。IEEE仪器与测量学报\u00a058（2），240\u2013247（2009）”，“期刊标题”：“IEEE仪器和测量学报”}，{“key”：“7_CR2”，“非结构化”：“ADeS，AADL模拟器，http://www.axlog.fr\/AADL\/ADeS_en.html”}，{“key”：“7_CR3”，“unstructured”：“Bensana，E.，Pucel，X.，Seguin，C.：使用高级工具和概念改进航天器系统的FDIR。In:Proc.ERTS（2014）”}、{“key”：”7_CR4“，”doi-asserted-by“：”crossref“，”unstructure“：“Berthomieu，B.，Bodeveix，J.P.，Farail，P.，Filali，M.，Garavel，H.，Gaufill，P.，Lang，F.，Vernadat，F.等人：Fiacre：TOPCASED环境中模型验证的中间语言。in：Proc.ERTS（2008）”，“DOI”：“10.1007\/978-3-642-01924-1_15”}，｛“key”：“7_CR5”，“系列标题”：“计算机科学讲义”，“DOI断言由”：“crossref”，“first page”：“82”，“DOI”：“10.1007\/978-3319-12214-4_7”，“volume-title”：“IMBSA 2014”，“author”：“B.Bittner”，“year”：“2014”，《非结构化》：“Bittner，B.，Bozzano，M.，Cimatti，A.，De Ferluc，R.，Gario，M.、Guiotto，A.、Yushtein，Y.：航空航天FDIR设计的集成过程。收录：Ortmier，F.，Rauzy，A.（编辑）IMBSA 2014。LNCS，第u00a08822卷，第82\u201395页。Springer，Heidelberg（2014）“}，{“key”：“7_CR6”，“unstructured”：“Blanquart，J.-P.，Valadeau，P.：基于模型的FDIR开发和验证。In:Proc.MBSAW（2011）”}，}，“key“：”7_CR7“，”unstructure“：”Bozzano，M.、Cimatti，A.、Gario，M.和Tonetta，S.：诊断仪规范、验证和综合的正式框架。摘自：第二十届第七届AAAI人工智能会议研讨会（2013）“}，{“key”：“7_CR8”，“unstructured”：“Bozzano，M.，Cimatti，A.，Katoen，J.-P.，Nguyen，V.Y.，Noll，T.，Roveri，M.：扩展AADL模型的安全性、可靠性和性能分析。计算机杂志\u00a0（2010年3月）doi:10.1093\/com”}doi-asserted-by“：”crossref“，”unstructured“：”Bozzano，M.，Cimatti，A.，Nguyen，V.Y.，Noll，T.，Katoen，J.-P.，Roveri，M.：可靠系统的代码设计：基于组件的建模语言。In：程序。MEMOCODE 2009（2009）“，”DOI“：”10.1109\/MEMCOD.2009.5185388“}，{”issue“：”1“，”key“：”7_CR10“，”DOI-asserted-by“：”publisher“，”first-page“：”5“，”DOI“：“10.1007\/s10009-006-0001-2”，”volume“：“9”，”author“：”M.Bozzano“，”year“：”2007“，”unstructured“：”Bozzano，M.，Villafiorita，A.：FSAP\/NuSMV SA安全分析平台。技术转让的软件工具\u00a09（1），5\u201324（2007）“，”journal-title“：”技术转让软件工具“}，{”key“：”7_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Cimatti，A.，Dorigatti，M.，Tonetta，S.：OCRA：一种用于检查临时合同细化的工具。In:ASE，pp.702\u2013705（2013）“，“doi”：“10.1109\/ASE.2013.6693137“}，{“key”：“7_CR12”，“unstructured”：“Cimatti，A.，Pecheur，C.，Cavada，R.：通过符号模型检查对可诊断性进行形式验证。摘自：IJCAI程序，第363\u2013369页。Morgan Kaufmann（2003）“｝，｛”issue“：”1“，”key“：”7_CR13“，”publisher断言的doi“，”首页“：”127“，”doi“：”10.1016\/j.artint.2004.05.003“，”volume“：”159“，”author“：”A.Cimatti“，”year“：”2004“，”nonstructured“：”Cimatti，A.，Roveri，M.，Bertoli，P.：通过符号模型检查和启发式搜索进行一致规划。人工智能\u00a0159（1），127\u2013206（2004）“，”journal-title“：”Artificial Intelligence“}，{“key”：“7_CR14”，“unstructured”：“COMPASS项目，http://\/compans.informatik.rwth-aachen.de”}，”key“：”7_CR15“，”unstructure“：”European Cooperation for Space Standardizations.European-Cooperation for Space Standardization web site，http://\www.ecss.nl\/非结构化“：”FAME项目，http://\/es.fbk.eu\/projects\/FAME“}，{“key”：“7_CR17”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”33“，“doi”：“10.1007\/11424529_3”，”volume-title“：”基于组件的软件工程“，”author“：”L.Grunske“，”年份“：”2005“，“非结构化”：“Grunske，L.，Kaiser，B.，Papadopoulos，Y.：基于状态-事件的部件故障注释的模型驱动安全评估。收录人：Heineman，G.T.、Crnkovi\u0107，I.、Schmidt，H.W.、Stafford，J.A.、Ren，X.-M.、Wallnau，K.（编辑）CBSE 2005。LNCS，第u00a03489卷，第33\u201348页。Springer，Heidelberg（2005）“}，{“key”：“7_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“G\u00fcdemann，M.，Ortmeier，F.：基于模型的定性和定量形式安全分析框架。摘自：Proc.HASE，pp.132\u2013141（2010）”，“doi”：“10.1109\/HASE.2010.24”}，}“keys”：“7 _CR19”，“doi-asserted-by”:“crossrev”，”非结构化“：”Mokos，K.，Meditskos，G.，Katsaros，P.，Bassiliades，N.，Vasiliades，V.：基于本体的安全验证模型驱动工程。In：程序。SEAA，第47\u201354页。IEEE（2010）“，”DOI“：”10.1109\/SEAA.2010.60“}，{“key”：“7_CR20”，“unstructured”：“nuXmv模型检查器，https:\/\/nuXmv.fbk.eu”}，“{”key“：”7_CR21“，”unstructure“：”XSAP安全分析平台，https:\\/es.fbk.eu\/tools\/XSAP“}]，“container-title”：[“基于模型的安全与评估”，“计算机科学讲义”]，“原文标题“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-319-1214-4_7“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,4,17]]，”date-time“：“2022-04-17T18:26:52Z”，“timestamp”：1650220012000}，“score”：1，“resource”：{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-319-12214-4_7“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2014]]}，“ISBN”：[“9783319122137”，”978331212144“]，”引用计数“：21，”URL“：”http://\/dx.doi.org\/10007\/978-319-1224-4_7“，”关系“：{}，“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2014]]}}