{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,12,21]]，“日期-时间”：“2022-12-21T07:01:29Z”，“时间戳”：1671606089189}，“引用-计数”：0，“发布者”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[2022,9,1]]，”日期-时间“：“2022-09-01T00:00:00Z”，“timestamp”：1661990400000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[2022,9,1]]，“date-time”：“2022-09-01T00:00:00Z”，“timestamp”：1661990400000}，“content-version”：“stm-asf”，“dellay-in-days”：0域“：{”域“：[]，”交叉标记-限制“：false}，”短容器-时间“：[]，“published-print”：{“date-parts”：[[2022,9]]}，“DOI”：“10.1109\/edcc57035.2022.00018”，“type”：“procedings-article”，“created”：{“date-ports”：[2022,11,4]]，“date-time”：“2022-11-04T01:51:12Z”，“timestamp”：1667526672000}，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“表征自动化系统验证和确认的多维框架”]，“前缀”：“10.1109”，“作者”：[{“给定”：“Joseba A.”，“家族”：“Agirer”，“序列”：“第一”，“从属关系”：[}“名称”：“蒙德拉贡大学”}]}，{“给出”：“艾哈迈特”，“家庭”：“亚齐奇”，“顺序”：“附加”，“附属关系”：[{“名称“埃斯基斯海尔-奥斯芒加齐大学”}]}，{“given”：“Katia”，“family”：“Di Blasio”，“sequence”：“additional”，“affiliation”：[{“name”：“Intecs Solutions S.p.a”}]}，{”given“：”Jose Luis“，”family“：”de la Vara“，”sequence“：”additional名称“：“瑞典RISE研究院”}]}，{“given”：“Ugur”，“family”：“Yayan”，“sequence”：“additional”，“affiliation”：[{“name”：“Eskisehir Osmangazi University”}]{，“givens”：“Raul”，”family“：”Barbosa“，”sequence“：”additional“，“，”从属关系“：{“name”：“Mondragon University”}]}，{“given”：“Massimo”，“family”：“Nazaria”，“sequence”：“additional”，“affiliation”：[{“name”：“Fondazione Bruno Kessler”}]}，{“given”：“Mustafa”，“family”：“Karaca”，“sequence”：“additional”，“affiliation”：[{“name”：“IMTGD”}]]，“member”：“263”，“event”：{“name”：“2022第18届欧洲可靠计算大会（EDCC）”，“location”：“西班牙萨拉戈萨”，“start”：{“date-parts”：[[2022,9,12]]}，“end”：{“date-parts”：[[2022,9,15]]}}，”container-title“：[”2022第18届欧洲可靠计算会议（EDCC）“]，”original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.ieee.org\/ielx7\/993316\/993340\/09933200.pdf？arnumber=9933200”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2022,12,20]]，“日期时间”：“2022-12-20T19:01:19Z”，“时间戳”：1671562879000}，“分数”：1，“资源”：{primary“：{”URL“：”https:\/\/ieeexplore.ieee.org\/document\/9933200\/“}}”，“副标题”：[]，“短标题”：[]，“已发布”：}“日期部件”：[2022,9]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.109\/edcc57035.2022.00018”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2022,9]]}}}