{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,5,14]]，“日期-时间”：“2024-05-14T05:52:29Z”，“时间戳”：1715665949023}，“出版商位置”：“查姆”，“参考-计数”：12，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783031158414”，“类型”：”打印“}，{“值”：“9783031158421”，“type”：“electronic”}]，“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”}，{“开始”：{“date-ports”：[2022,1,1]，“日期-时间”：“2042-01-01T 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_2“，”type“：”book-chapter“，”created“：{”date-part“：[[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“21-27”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：3，“标题”：[“COMPASTA:Extending TASTE with \u00a0Formal Design and \u00a 0Verification Functionality”]，“前缀”：“10.1007”，”author“：[{”given“Alberto”，“family”：“Bombardelli”，“序列”：“first”，“affiliation”：[]}，{“given”：“Marco”，“family”：“Bozzano”，“sequence”：“additional”，“filiation“：[]{”given“：罗伯托”，“家庭”：“Cavada”，“序列”：“附加”，“从属”：[]}，}“gived”：“Alessandro”，“家族”：“Cimatti”，“顺序”：“额外”，“隶属”：[4]}，“givent”：“Alberto”，“家人”：“Griggio“，”sequence“：”additional“，”affiliation“：[]}，｛“给定”：“Massimo”，“family”：“Nazaria”，“sequence”：“additional”，“affiliation”：[]｝，｛“给定”：“Edoardo”，“family”：“Nicolodi”，“sequence”：“additional”，“affiliation”：[]｝，｛“给定”：“Stefano”，“family”：“Tonetta”，“sequence”：“additional”1”，“非结构化”：“ADE：超长遍历中的自主决策。https:\/\/www.h2020-ADE.eu”}，{“key”：“2_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano，M.，Bruintjes，H.，Cimatti，A.，Katoen，J.P.，Noll，T.，Tonetta，S.：COMPASS 3.0。摘自：Proceedings TACAS 2019（2019）“，”DOI“：”10.1007\/978-3-030-17462-0_25“}，{”key“：”2_CR3“，”DOI-asserted-by“：”publisher“，”first page“：“20”，”DOI:“10.1016\/j.ress.2014.07.003”，”volume“：。系统。安全。132，20\u201335（2014）“，“新闻标题”：“Reliab。工程系统。安全。“}，{”issue“：“5”，”key“：“2_CR4”，”doi-asserted-by“：”publisher“，”first page“：”754“，”doi“：”10.1093\/comjnl\/bxq024“，“volume”：“54”，“author”：“M Bozzano”，“year”：“2011”，“unstructured”：“Bozzano，M.，Cimatti，A.，Katoen，J.P.，Nguyen，V.，Noll，T.，Roveri，M.：扩展AADL模型的安全性、可靠性和性能分析计算J.54（5），754\u2013775（2011）“，”日记标题“：”计算。J.“｝，｛“key”：“2_CR5”，“nonstructured”：“Hugues，J.，Pautet，L.，Zalila，B.，Dissaux，P.，Perrotin，M.：使用AADL构建关键实时系统：IST-ASSERT项目中的实验。in：Proceedings ERTS（2008）”｝，｛“key”：“2_CR6”，“nonstructured”：“MOSAR:模块化航天器组装和重新配置。https:\/\/whh2020-MOSAR.eu”｝，｛“key”：“2_CR7”，“非结构化“：”NUXMV网页（2021）。https:\/\/nuxmv.fbk.eu“}，{“key”：“2_CR8”，“unstructured”：“OCRA网页（2021）.https:\/\/OCRA.fbk.eu”}，}“密钥”：“e_CR9”，“非结构化”：“PERASPERA，地平线2020 Space\u201cCOMPET-4-2014:Space Robotics Technologies \u201d Work Programme（拨款协议640026）”}、{“密钥“：”2_CR10“，”doi-asserted-by“：”crossref“，“非结构性”：“”Cavada，R.、Cimatti，A.、Crema，L.、Roccabruna，M.、Tonetta，S.：Tonetta：基于模型的使用品味的能源系统嵌入式控制器设计。摘自：2016年FM会议记录。LNCS，第9995卷，第741\u2013747页（2016）“，“DOI”：“10.1007\/978-3-319-48989-6_45”}，{“key”：“2_CR11”，“unstructured”：“TASTE web page.https:\/\/teast.tools\/”}、{“key”：”2_CR12“，“unsructured“：”XSAP web page（2021）.https:\/\/XSAP.fbk.eu“}]，“container-title”：[“基于模型的安全与评估”，“计算机科学课堂笔记”]，“原始标题”：[]，“链接“：[｛”URL“：”https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15842-1_2“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2022,9,8]]，”日期时间“：”2022-09-08T04:03:28Z“，”时间戳“：1662609808000｝，”分数“：1，”资源“：｛”主要“：｛”URL“：”https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_2“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2022]]}，“ISBN”：[“9783031158414”，”9783031188421“]，”参考计数“：12，”URL“http://\/dx.doi.org\/10.1007\/9783-031-15842-1_2”，“关系”：{}，‘ISSN’：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：”1611-3349“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2022]]}，“assertion”：[{“value”：”2022年9月9日“，“order”：1，“name”：“first_online”，“label”：“first online”，”group“：{”name“：”ChapterHistory“，”label“：”Character History标签“：”会议缩写“，”组“：{”名称“：”ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”基于模型的安全与评估国际研讨会“，”order“：2，”name“：”Conference_name“，”标签“：”会议名称“，”group“：会议信息”，“标签”：“会议信息”}}，{“值”：“德国”，“顺序”：4，“名称”：“Conference_country”，“label”：“开会国家”，“组”：{“name”：“ConferenceInfo”}，{“value”：“2022年9月5日”，“order”：7，“name”：“conference_start_date”，“label”：“会议开始日期”，“group”：8英寸，“order”：9，“name”：“conference_number”，“label”：“conference number”，“group”：{“name”:“ConferenceInfo”，”label“：“Confection Information”}}，{“value”：“imbsa2022”，“order:10，”name“：”conference_id“，”lable“：”ConferenceID“，”group“：{”name“:”ConferencieInfo“，”标签“：”会议信息“}}”，{”value“：”https:\\/easyconferences.eu\/imbsa202 2\/“，”订单“：11，“name”：“conference_url”，“label”：“conference url”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}，{“value”：“Single-blind”，“order”：1，“name“：”type“，”label“：”type“，”group“：：“conference_management_system”，“label”：“会议管理系统”，“group”：{“name”：“ConfEventPeerReviewInformation”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}：“3”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由会议组织者提供）”}}，{“value”：“56%-值由等式计算\”已接受的完整论文数\/已发送供审阅的提交数*100”，然后四舍五入为整数。“，”订单“：6，”名称“：”acceptance_rate_of_Full_Papers“，”标签“：”完整论文的接受率“，”组“：{”name“：”ConfEventPeerReviewInformation“，”label“：”同行审阅信息（由会议组织者提供）“}}，{”value“：”3“，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评论信息（由会议组织者提供）”}}，{“value”：“2”，“orders”：8，“name”：“average_nument_of_papers_per_reviewer”，”label“：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}}]}}