{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,27]]，“日期时间”：“2023-10-27T13:29:00Z”，“时间戳”：1698413340806}，“发布者位置”：“Cham”，“引用计数”：26，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319216898”，“类型”：”打印“}，{“值”：“9783319216904”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-ports”：[2015,1,1]]，:00Z“，”timestamp“：1420070400000}，”content-version“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015]]}，”DOI“：”10.1007\/978-3319-21690-4_36“，”type“：”book-chapter“，”created“：{”date-part“：[[[2015,7,15]]，“日期时间”：“2015-07-15T02:08:27Z”，“时间戳”：1436926107000}，“页面”：“518-535”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：35，”title“：[“AIR6110车轮制动系统的正式设计和安全分析”]，“前缀”：“10.1007”，‘作者’：[{“给定”：“M.”，《家族》：“Bozzano”，“序列”：“first”，“从属关系”：[]}，{“给定”：“A.”，“family”：“Cimatti”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“A.“，”family“：”Petri“，”sequence“：“additional”，“affiliation”：[]}，{“given”：“R.”，“family”：“Robinson”，“sequence”：“additive”，“filiation“：[]{”，{”given“：”S.“，”family“：”Tonetta“，”sequence“：”additional“，”affiliance“：[]}“member”：“297”，“published-online”：{“date-parts”：[[2015,7,16]]}“reference”：[{“key”：”36_CR1“，“doi-asserted-by”：crossref“，”非结构化“：“Bittner，B.，Bozzano，M.，Cavada，R.，Cimatti，A.，Gario，M.，Griggio，A.，Mattarei，C.，Micheli，A.，Zampedri，G.：xSAP安全分析平台。ArXiv电子打印（2015）”，“DOI”：“10.1007\/978-3-662-49674-9_31”}，｛“key”：“36_CR2”，“非结构化”：“Bozzano，M.，Cimatti，A.，Fernandes Pires，A.，Jones，D.，Kimberly，G.，Petri，T.，Robinson，R.，Tonetta，S.：AIR6110车轮制动系统案例研究。\n https:\//es.fbk.eu\/projects\/AIR6110”}，{“key”：“36_CR3”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“crossref”，“first-page”：“81”，“doi”：“10.1007\/978-3-319-11936-6_7”，“volume-title”：“验证和分析的自动化技术”，“author”：“M Bozzano”，“year”：“2014”，“unstructured”：“Bozzano，M.，Cimatti，A.，Mattarei，C.，Tonetta，S.：通过基于合同的设计进行正式安全评估。收录：Cassez，F.，Raskin，J.-F.（编辑）ATVA 2014。LNCS，第8837卷，第81\u201397页。Springer，Heidelberg（2014）“}，{“key”：“36_CR4”，“doi-asserted-by”：“publisher”，“doi”：“10.1201\/b10094”，“volume-title”：“关键系统的设计和安全评估”，“author”：“M Bozzano”，“year”：“2010”，“unstructured”：“Bozzano，M.，Villafiorita，A.：关键系统设计与安全评估。CRC出版社（Taylor和Francis），Boca Raton（2010）.A Auerbach Book“}，{”key“：”36_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“70”，”doi“：”10.1007\/978-3642-18275-4_7“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”AR Bradley“，”year“：”2011“，”unstructured“：”Bradley，A.R.：基于SAT的模型检查，无需展开。收录于：Jhala，R.，Schmidt，D.（编辑）VMCAI 2011。LNCS，第6538卷，第70\u201387页。Springer，Heidelberg（2011）“}，{”key“：”36_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“334”，”doi“：”10.1007\/978-319-08867-9_22“，”volume-title“：“计算机辅助验证”，”author“：”R Cavada“，”year“：”2014“，”unstructured“：”Cavada，R.，Cimatti，A.，Dorigatti，M.，Griggio，A.，Mariotti，A.，Micheli，A.，Mover，S.，Roveri，M..，Tonetta，S.：nuXmv符号模型检查器。在：Biere，A.，Bloem，R.（编辑）CAV 2014。LNCS，第8559卷，第334\u2013342页。Springer，Heidelberg（2014）“}，{”key“：”36_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Cimatti，A.，Dorigatti，M.，Tonetta，S.：OCRA：一种用于检查时间契约细化的工具。摘自：第28届IEEE\/ACM国际自动化软件工程会议（ASE），第702\u2013705页（2013）“，”doi“：”10.1109\/ASE.2013.6693137“}”，{“key”：“”36_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：”188“，“doi”：“10.1007\/978-3642-02658-4_17”，“volume-title”：“计算机辅助验证”，“author”：“A Cimatti”，“year”：“2009”，“unstructured”：“Cimatti，A.，Roveri，M.，Tonetta，S.：混合系统的需求验证。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，第5643卷，第188\u2013203页。Springer，Heidelberg（2009）“}，{“key”：“36_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Cimatti，A.，Tonetta，S.：基于契约的设计的基于属性的证明系统。摘自：第38届欧洲微软软件工程与高级应用会议（SEAA），pp.21\u201328（2012）”，“doi”：“10.1109\/SEAA.2012.68”}doi-asserted-by“：”publisher“，”first-page“：”333“，”doi“：”10.1016\/j.scico.2014.06.011“，”volume“：”97“，”author“：”A Cimatti“，”year“：”2014“，”unstructured“：”Cimatti，A.，Tonetta，S.：基于组件的嵌入式系统的契约精化证明系统。科学。计算。程序。97，333\u2013348（2014）“，“新闻标题”：“科学。计算。程序。“}，{”key“：”36_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Damm，W.，Hungar，H.，Josko，B.，Peikenkamp，T.，Stierand，I.：将基于契约的组件规范用于虚拟集成测试和架构设计。In:欧洲设计、自动化和测试（DATE），pp.1023\u20131028（2011）“，”doi“：”10.1109\/DATE.2011.5763167“}”，{“key“：”36_CR12“，”unstructured“：”ESACS:The ESACS Project。\n www.transport-research.info\/web\/projects\/project_details.cfm？ID=2658\n\n。2015年5月20日查阅“}，{“key”：“36_CR13”，“unstructured”：“FAA:F.A.A.：咨询通告（AC）20\u2013174。\n http://www.faa.gov\/documentLibrary\/media\/AAdvisory_Circular\/AC%2020-174.pdf“}，{“key”：“36_CR14”，“unstructured”：“faa:F.A.A.：咨询通告（AC）23\u20131309-1E。\n http://www.faa.gov\/decumentLibrary\/media \/AAdvisory_Circullar\/AC%2023.1309-1E.pdf”}，}“key:”36_CR15“，”unstructure“：”FAA:F.A.A.：咨询通告（AC）25.1309-1A。\n http://\/rgl.faa.gov\/Regulatory_and_Guidance_Library\/rgAdvisoryCircular.nsf\/list\/AC%2025.1309-1A\/$FILE\/AC25.1309-1A.pdf\n\n（1988）“}，{”key“：”36_CR16“，”unstructured“：”FBK:nuXmv:一个新的扩展模型验证器。\n https:\/\/nuXmv.FBK.eu“}”，{“key”：“36_CR17”，“非结构化“：”FBK:OCRA：基于合同的分析工具。\n https:\/\/ocra.fbk.eu“}，{“key”：“36_CR18”，“unstructured”：“fbk:xSAP:eXtended Safety Analysis Platform.\n https:\///xSAP.fbk.eu”}，}“key:”36_CR19“，”unstructure“：”ISAAC：ISAAC项目。\n http://\/ec.europa.eu\/research\/transport\/projects\/items\/isaac_en.htm\n\n。2015年5月20日访问“}，{“key”：“36_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”122“，“doi”：“10.1007\/11563228_10”，“volume-title”：”计算机安全、可靠性和安全“，”author“：”A Joshi“，”year“2005”，“unstructured”：“Joshi，A.，Heimdahl，M.P.E.：使用SCADE设计验证器对simulink模型进行基于模型的安全分析。作者：Winther，R.，Gran，B.A.，Dahl，G.（编辑）SAFECOMP 2005。LNCS，第3688卷，第122页\u2013135。Springer，Heidelberg（2005）“}，{“key”：“36_CR21”，“unstructured”：“Joshi，A.，Whalen，M.，Heimdahl，M.：基于模型的安全分析最终报告。技术报告，NASA\/CR-2006-213953，NASA（2006）”}，}，“key“：”36_CR22“非结构化”：“MISSA：MISSA项目。\请访问www.missa-fp7.eu。2015年5月20日查阅“}，{“key”：“36_CR23”，“unstructured”：“SAE:ARP4761:民用机载系统和设备安全评估过程的指南和方法（1996）”}，}，[key“：”36_CR24“，”unstructived“：”SAE:ARP4754A:民用飞机和系统开发指南（2010）“}SAE:AIR6110：连续飞机\/系统开发过程示例（2011）“}，{“key”：“36_CR26”，“unstructured”：“Vesely，W.，Stamatelatos，M.，Dugan，J.，Fragola，J.、Minarick III，J.和Railsback，J.：航空航天应用故障树手册。技术报告，NASA（2002）”}]，“集装箱”：[“计算机辅助验证”，“计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-319-21690-4_36“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,7,22]]，”date-time“：“2019-07-22T20:30:32Z”，“timestamp”：1563826232000}，“score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-319-21690-4_36“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2015]]}，“ISBN”：[“9783319216898”，“97833216904”]，“references-count”：26，“URL”：“http://\/dx.doi.org\/10007\/978 3-3 19-21690-4_36“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“：“print”}，{“value”：“1611-3349”，“type”：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2015]]}，“assertion”：[{“value”：“2015年7月16日”，“order”：1，“name”：“first_online”，“label”：“first online”