{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T20:37:57Z”，“时间戳”：1726173477637}，“出版商位置”：“查姆”，“引用计数”：8，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783031158414”}，{“类型”：“电子”，“value”：“9783031158421”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2022,1,1]，“日期-时间”：“022-01-01T”00:00:00Z“，”timestamp“：1640995200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-15842-1_5“，”type“：”book-capter“，”created“：{”date-part“：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“60-67”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：1，“标题”：[“基于模型的安全分析：实践经验”]，“前缀”：“10.1007”，”作者：[{“given”：“Bertille”，“family”：“Noisette”，“sequence”：“first”，“affiliation”：[]}{“给定”：“S\u00e9bastien”，“family”：“Dobol”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Laur\u00e8ne”，“family”：“Monteil”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“在线发布”：｛“date parts”：[[2022,9,9]]｝，“reference”：[｛“key”：“5_CR1”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“第一页“：“208”，“DOI”：“10.1007\/978-3-540-45236-2_13”，“volume-title”：“FME 2003:形式方法”，“author”：“M Bozzano”，“year”：“2003”，“unstructured”：“BozzanoM.，Cavallo，A.，Cifaldi M.，Valacca，L.，Villafiorita，A.：改进复杂系统的安全评估：工业案例研究。摘自：Araki，K.，Gnesi，S.，Mandrioli，D.（eds.）FME 2003。LNCS，第2805卷，第208\u2013222页。斯普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/978-3-540-45236-2_13“}，{”issue“：”7“，”key“：”5_CR2“，”doi-asserted-by“：”publisher“，”first page“：“747”，”doi“：”10.1016\/j.ress.2004.12.004“，”volume“：Boiteau，M.，Dutuit，Y.，Signoret，J.-P.，Rauzy，A.：使用中的AltaRica数据流语言：多状态系统生产可用性建模。Reliab公司。工程系统。安全。91（7），747\u2013755（2006）。ISSN 0951-8320“，“新闻标题”：“Reliab。工程系统。安全。“}，{”issue“：”1“，”key“：”5_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/S0951-8320（02）00042-X”，“volume”：“78”，“author”：“A Rauzzy”，“year”：“2002”，“unstructured”：“Rauzy，A.：模式自动机及其编译为故障树。Reliab.Eng.Syst.Saf.78（1），1\u201312（2002）。ISSN 0951-832“，”新闻标题“：”Reliab.Eng。系统。安全。“}，{”key“：”5_CR4“，”unstructured“：”Prosvirnova，T.：AltaRica 3.0:一种基于模型的安全分析方法。博士论文。Ecole Polytechnology（2014）“}Machin，M.，Sagaspe，L.，De Bossoreille，X.：SimfiaNeo，复杂系统，但简单安全。在：嵌入式实时软件和系统，论文9，图卢兹（2018）“}，{“key”：“5_CR7”，“非结构化”：“Adeline，R.，Darfeuil，P.，Humbert，S.，Cardoso，J.，Seguin，C.：走向多物理系统的AltaRica建模方法。在：ESREL 2010，05\u201309 September 2010，Rhodes，Greece（2010）”}，{“key”：“5_CR8”，doi断言为“：”crossref“，“非结构化”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：AltaRica 3.0断言：为什么和哪里。程序。仪器机械。工程第O部分：J.Risk Reliab。231，691\u2013700（2017）“，”DOI“：”10.1177\/1748006X17728209“}]，”container-title“：[”计算机科学讲义“，”基于模型的安全与评估“]，”原文标题“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/10007\/978-3-031-15842-1_5“，”content-type“：”unspecified“，”content-version“：”vor“，“”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,8]]，”date-time“：”2022-09-08T04:04:29Z“，”timestamp“：1662609869000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15842-1_5”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2022]]}，“ISBN”：[“9783031158414”，“978303118421“]，”references-count“：8，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15842-1_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：“1611-3399”}]，“subject”：[]，“published”：{“date-pa”rts“：[[2022]]}，”断言“：[{“value”：“2022年9月9日”，“order”：1，“name”：“first_online，“label”：“first online”，“group”：{“name”：“ChapterHistory”，“label:”Chapter History“}}，{“value”：”IMBSA“，”order“：1，”name“：”conference_acrombit“，”label“：”ConferenceAcronym“，”group“：conference_name“，”label“：”会议名称“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”Munich“，”order“：3，”name“:”conference_city“，”标签“：”conferency city“，”group“：group“：{”name“：”ConferenceInfo“，”label“：”Meeting Information“}}，{”value“：”2022“，”order“：5，”name“:”Conference_year“，”标签“：”会议年份“，”group“:信息“，”label“：”Conference Information“}}，{“value”：“2022年9月7日”，“order”：8，“name”：“Conference_end_date”，“label”：“ConferenceEnd date”，“group”：{“name”:“ConferenceInformation”，“标签”：“会议信息”}}“”value“：”imbsa2022“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：，{“值”：“Single-blind“，”order“：1，”name“：”type“，”label“：”type“，”group“：同行评审信息（由会议组织者提供）“}}，{“value”：“27”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同侪审查信息（由会议组织者提供）“}}，{”value“：”3“，”order“：5”，“name”：“number_ of_short_papers_Accepteded”，“label”：“接受的短文数”，“group”：{“name”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”56%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}]}}