{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T10:03:58Z”，“时间戳”：16488938325}，“引用计数”：14，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2006,11]]}，“DOI”：“10.1109\/isola.2006.25”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2008,3,12]]，“date-time”：“2008-03-12T18:18:00Z”，“timestamp”：1205345880000}，“source”：《Crossref》，“is-referenced-by-count”：6，“title”：[“Reasoning about Airport Security Regulations Using the Focal Environment”]，“prefix”：“101109”，“author”：[{“给定”：“David”，”“family”：“Delahaye”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jean-Fr\u00e9d\u00e9-ric”，“family”：“\u00c9tienne”，“serquence”:“additional”，“filiation“：[]{”given“：”V\u00e 9ronique Vigui\u00e9“，”family“：”Donzeau-Gouge“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2974556”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-30144-8_35”}serted-by“：”publisher“，”doi“：”10.1109\/ITCC.2005.154“}，{”key“：”ref4“，“author”：“focal”，“year”：“2005”，“journal title”：“version 0 3 1 CNAM\/INRIA\/LIP6”｝，｛“key”：“ref3”，“author”：“conference”，“year”：“2002”，“journal title”：“2002年12月16日欧洲议会和理事会关于建立民用航空安全领域共同规则的条例（EC）JVO 232012002”｝，｛“key”：“ref6”，“doi断言由”：“publisher”，“DOI”：“10.1007\/11813040_4”}，{“key”：“ref5”，“author”：“edemoi”，”年份“：“2003”，“journal-title”：“Project”}、{“key”：”ref8“，”article-title“：”Team，Objective Caml“，”author“：”cristal“，”year“2006”，“日记标题”：“version 3 09 1 INRIA”}“焦点内建筑认证组件”，“卷”：“5”，“author”：“dubois”，“year”：“2004”，“journal-title”：“功能程序设计趋势研讨会”}，{“key”：“ref2”，“article-title“：“《国际民用航空、安全-保障国际民用航空免受非法干扰行为公约》附件17，修正案”，“volume”：，{“key”：“ref1”，“author”：“laleau”，“year”：“2006”，“journal-title”：“法规建模及其验证和验证国际研讨会（REM02V）与先进信息系统工程会议（CAiSE）”}，{”key“：”ref9“，”author“：”coq“，”year“：”2006“，”journal-title“：”coq version 8 0 INRIA“}]，“event”：{“name”：“第二届利用正式方法、验证和验证应用国际研讨会（isola 2006）”，“地点”：“塞浦路斯帕福斯”，“开始”：{“日期部分”：[[2006,11,15]]}，“结束”：{“日期部分”：[[2006,11,19]]}}}，“容器标题”：[“第二届形式方法应用、验证和验证国际研讨会（isola 2006）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4463675\/446676\/044633693.pdf？arnumber=4463693”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[[2017,3,15]]，“日期时间”：“2017-03-15T15:14:31Z”，“时间戳”：1489590871000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\/ieeexplore.ieee.org\/document\/4463693\/”}}，”副标题“：[]，”短标题“：[]，”已发布“日期部分“：[[2006,11]]}”，“引用计数”：14，“URL”：“http://\/dx.doi.org\/10.109\/isola.2006.25”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2006,11]]}}