{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4]]，“日期-时间”：“2024-04-04T01:04:45Z”，“时间戳”：1712192685564}，“参考-计数”：7，“出版商”：“IEEE”，“许可证”：[{“开始”：{-“日期-部分”：[2023,12,4]]，“时间”：”2023-12-04T00:00Z“，时间戳”“：1701648000000}，”content-version“：”stm-asf“，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2023,12,4]]，“date-time”：“2023-12-04T00:00Z”，“timestamp”：1701648000000}，“content-version”：“stm-asf”，“delay-in-daies”：0：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2023,12,4]]]}，“DOI”：“10.1109\/apsec60848.2023.00063”，“type”：“procedings-article”，“created”：{“date-ports”：[2024,4,2]，“date-time”：“2024-04-02T18:36:41Z”，“timestamp”：1712083001000}，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“通过模型驱动分析和仿真评估自动驾驶汽车的安全性”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“Morayo”，“家族”：“Adedjouma”，“序列”：“第一”，“隶属关系”：[｛“名称”：“巴黎萨克雷大学，CEA，List，Palaiseau，France，F-91120”｝，｛“给定”：“Fabien”，“家族”：“Gaudin”，“序列”：“附加”，“隶属关系”：[｛“名称”：“Sherpa Engineering，R&D department，Nanterre，France，92000”}]}，{“given”：“Philippe”，“family”：“Fiani”，“sequence”：“additional”，“affiliation”：[{“name”：“Shrepa Engineery，R&D departmentment，Nanterle，Frances，92000“}]}]，“member”：“263”，“reference”：[[{”key“ref1”，“article-title”：“新的自动驾驶评估/测试方法（natm）自动驾驶系统（ads）验证指南-ece修正案。29\/2022\/58“，”年“：”2022“}，{”键“：”ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ISORC.2018.0025“}”，{“key”：”ref3“，”文章标题“：”国际汽车工程师学会“，”卷标题“：“与公路机动车辆自动驾驶系统相关术语的分类学和定义。SAE”，“年份”：“2014”}，”{“键”：“ref4”，“doi-assert-by”：“”publisher“，”DOI“：”10.1016\/j.medengphy.2016.12.011“}，{”key“：”ref5“，”article-title“：”PhiSystem:ADAS设计和验证的工具化方法“，”volume-title”：“ERTS 2018，ser.9th European Congress on Embedded Real Software and Systems（ERTS 2018），法国图卢兹”，“author”：“Morelli”，“year”：“2018”}，“key”：“ref6”，“volume-titel”：“”Papyrus建模工具”，“年份”：“2018”｝，｛“键”：“ref7”，“doi断言者”：“出版商”，“doi”：“10.1109\/hhase.2019.00022”｝]，“活动”：｛“名称”：“2023第30届亚太软件工程会议（APSEC）”，“地点”：“韩国首尔”，“开始”：｛“日期部分”：[[2023,12,4]]}，“结束”：｛“日期部分”：[[2023,12,7]]}｝，“容器标题”：[2023年第30届亚太软件工程会议（APSEC）“]”，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/10479191\/10479357\/10479417.pdf？arnumber=10479417”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期段”：[2024,4,3]]，“日期-时间”我“：”2024-04-03T05:40:05Z“，”timestamp“：1712122805000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/10479417\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2023,12,4]]}，《references-count》：7，“URL”:“http://\/dx.doi.org\/10.10109\/apsec60848.2023.00063“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2023,12,4]]}}}