{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,11,25]]，“日期-时间”：“2023-11-25T19:41:36Z”，“时间戳”：1700941296525}，“引用-计数”：8，“发布者”：“IEEE”，“许可证”：[{“开始”：}“日期-零件”：[2021,5,1]]，”日期-时间“：“2021-05-01T00:00:00Z”，“timestamp”：1619827200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2021,5,1]]，“date-time”：“2021-05-01T00:00:00Z”，“timestamp”：1619827200000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.15223 \/policy-029“}，{“开始”：{“日期部分”：[[2021,5,1]]，“date-time”：“2021-05-01T00:00:00Z”，“timestamp”：161982720000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2021,5]}，“doi”：“10.1109\/rtas52030.2021.00051”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:39Z”，“timestamp”：1625688879000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Brief Industry Papers:Modeling and Verification of Descent Guidance Control of Mars Lander”]，“prefix”：“10.1109”，”author“[{”given“Bohua”，“family”：“Zhan”、“sequence”：“first”，“affiliation”：[]}，{“given”：“Bin”，“family”：“Gu”，“sequence”：“additional”，“atfiliation“：[]{”given“：”熊“，”家庭“：徐“，”sequence“：”additional“，”affiliance“：[]}，}“giving”：“Xiangyu”，“家庭”：“Jin”，从属关系“：[]}，{”给定“：”白“，”家庭“：“雪”，“序列”：“附加”，“隶属关系”：[]｝，{“给定”：“晓峰”，“家族”：“李”，“序列”：“附加”，“隶属关系”：[]｝，{“给定”：“尧”，“家族”：“陈”，“序列”：“附加”，“隶属关系”：[]｝，{“给定”：“孟非”，“家族”：“杨”，“序列”：“附加”，“隶属关系”：[]｝，{“给定”：“乃君”，“家族”：“詹”，“序列”：“附加”，隶属关系”：[]｝]，“member”：“263”，“reference”：[{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/EMSOFT.2013.6658587“}，{“key”：”ref3“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3319-47016-0“}、{“密钥”：“ref6”，“首页”：“13”，“article-title”：“混合CSP过程验证中的超感知计算”，“author”：“guelev”，“年份”：“2013年”，“journal-title”：“FACS 2013中国南昌10月27日至29日修订论文集”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3360002”}：“CAV 2013 St Petersburg Russia July 13-19”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3319-25423-4_25”}、{“密钥”：“ref2”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/s11432-015-5346-2}]，“事件”：{“名称”：“2021 IEEE第27届实时和嵌入式技术及应用研讨会（RTAS）”，“地点”：“美国田纳西州纳什维尔”，“开始”：{“日期部分”：[[2021,5,18]]}，“结束”：{“日期部分“：[2021,5,21]]}}，”容器-标签“：[”2021 IEEE-第27届即时和嵌入式技术与应用研讨会（RTAS）“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx7\/9470400\/9470364\/09470485.pdf？arnumber=9470485”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2022,5,10]]，“date-time”：“主要”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470485\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期parts”：[[2021,5]]}，”引用计数“：8，”URL“：”http://\/dx.doi.org\/10.109\/rtas52030.2021.0051“，”关系“：{}，}}