{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,12,22]]，“日期时间”：“2023-12-2T00:16:38Z”，“时间戳”：1703204198151}，“发布者位置”：“查姆”，“引用计数”：14，“出版商”：“斯普林格自然瑞士”，“isbn-type”：[{“值”：“9783031493324”，“类型”：”打印“}，{“值”：“9783031493331”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2023,12,22]]，“date time”：“2023-12-22T00:00:00Z”，“timestamp”：1703203200000｝，“content version”：“tdm”，“delay in days”：0，“URL”：“https:\/\/www.springernace.com\/gp\/researchers\/text and data mining”｝，｛“start”：｛“date parts”：[[2023,12,22]]，“date time”：“2023-12-22T00:00:00Z”，“时间戳”：1703203200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https://www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2024]]}”，“DOI”：“10.1007\/978-3-06 31-49333-1_3“，”类型“：”书壳“，“created”：{“date-parts”：[[2023,12,21]]，“date-time”：“2023-12-21T11:02:29Z”，“timestamp”：1703156549000}，“page”：“30-43”，“update-policy”：”http://\/dx.doi.org\/10.10007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“u00a0Event-B的浮点数理论”]，“prefix”：“10.1007”“，”作者“：[{”ORCID“：“http://\/orcid.org\/00000-0002-6484-8276”，“authenticated-orcid”：false，“given”：“Idir”，“family”：“Ait-Sadoune”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2023,12,22]]}，“reference”：[{“key”：：“Abrial，J.：B书-赋予程序意义。剑桥大学出版社，剑桥（1996）。https:\/\/doi.org\/10.1017\/CBO9780511624162”，“doi”：“10.1017\/CBO99780511624162”}，{“key”：“3_CR2”，“doi-asserted-by”：“publisher”，“unstructured”：“Abral，J.R.：Event-B中的建模：系统和软件工程。剑桥大学出版社，剑桥（2010）。https:\/\/doi.org\/10.1017\/CBO9781139195881“，”doi“：”10.1017\/CBO997811395881“}，{“问题”：“6”，“密钥”：“3_CR3”，“doi-asserted-by”：“发布者”，“首页”：“447”，“doi”：“10.1007\/s10009-010-0145-y”，“卷”：“12”，“作者”：“J Abrial”，“年份”：“2010”，“非结构化”：“Abrial，J.，Butler，M.J.，Hallerstede，S.，Hoang，T.S.，Mehta，F.，Voisin，L.：Rodin：Event-B.Int.J.Softw中建模和推理的开放工具集。技术工具。Transf公司。12（6），447\u2013466（2010）。https:\/\/doi.org\/10.1007\/s10009-010-0145-y“，”journal-title“：”Int.J.Softw。技术工具。Transf公司。“}，{”key“：”3_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“140”，”doi“：”10.1007\/978-3-030-32065-2_10“，”volume-title“：“模型与数据工程”，”author“：”I Ait-Sadoune“，“年份”：“2019”，”unstructured“：”Ait-Sadoune，I.，Mohand-Oussaid，L.：构建形式化语义域模型：基于Event-B的方法。在：Schewe，K.-D.，Singh，N.K.（编辑）MEDI 2019。LNCS，第11815卷，第140\u2013155页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32065-2_10“}，{“key”：“3_CR5”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“290”，”doi“：”10.1007\/978-30-3319-33600-8_23“，”volume-title“：”抽象状态机，合金，B，TLA，VDM，和Z“，”作者“：”G Babin“，”年份“：”2016“，”非结构化“：“”Babin，G.，A\u00eft-Ameur，Y.，Singh，N.K.，Pantel，M.：混合系统重构中的连续功能处理：正式的Event-B开发。收件人：Butler，M.，Schewe，K.-D.，Mashkoor，A.，Biro，M.（编辑）ABZ 2016。LNCS，第9675卷，第290\u2013296页。查姆施普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-33600-8_23“}，{”key“：”3_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“189”，“doi”：“10.1007\/978-300-58298-2_8”，“volume-title”：“工业关键系统的形式化方法”，“author”：“M Butler”，“年份”：“2020”，“非结构化”：“Butler，M.：B法工业应用的头25年。收录：ter Beek，M.H.，Ni\u010dkovi\u0107，D.（编辑）FMICS 2020。LNCS，第12327卷，第189\u2013209页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-58298-2_8“}，{“key”：“3_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《67》，“doi”：“10.1007\/9783-642-39698-4_5”，“volume-title”：《程序设计理论与形式方法》，“author”：“M Butler”，“年份”：“2013”，“非结构化”：“Butler，M.，Maamria，I.：Event-B中的实践理论扩展。收录：Liu，Z.，Woodcock，J.，Zu，H.（编辑）《程序设计理论和形式方法》。LNCS，第8051卷，第67\u201381页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-39698-4_5“}，{”key“：”3_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“43”，”doi“：”10.1007\/978-23-031-33163-3_4“，”volume-title“：“严格的基于状态的方法”，”author“：”J Cervelle“，”年份“：”2023“，”unstructured“：”Cervelle，J.，Gervais，F.：用理论插件在B中引入归纳结构。收录人：Gl\u00e4sser，U.，Creissac Campos，J.，M\u00e 9ry，D.，Palanque，P.（eds.）ABZ 2023。LNCS，第14010卷，第43页\u201358。查姆施普林格（2023）。https:\/\/doi.org\/10.1007\/978-3-031-33163-3_4“}，{“key”：“3_CR9”，“unstructured”：“Dijkstra，E.W.：编程学科。Prentice-Hall，Hoboken（1976）”}，}，“key“：”3_CR10“，”unstructure“：”Hoang，T.S.，Voisin，L.，Salehi，A.，Butler，M.J.，Wilkinson，T.，Beauger，N.：Rodin 3.x.CoRR abs的理论插件\/1701.08625（2017）http://\/arxiv.org\/abs\/1701.08625“}，{“问题”：“10”，“密钥”：“3_CR11”，“doi-asserted-by”：“发布者”，“首页”：“576”，“doi”：“10.1145\/363235.363259”，“卷”：“12”，“作者”：“CAR Hoare”，“年份”：“1969”，“非结构化”：“Hoare，C.A.R.：计算机编程的公理基础。Commun.ACM 12（10），576\u2013580（1969）.https:\/\/doi.org\/10.1145\/363235.363259“，”journal-title“：”Commun。ACM“}，{“key”：“3_CR12”，“unstructured”：“Lecomte，T.，Burdy，L.，Dufour，J.L.：B方法使用浮点数。In:嵌入式实时软件和系统（ERTS2012）（2012）”}，}，“key“：”3_CR13“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”855“，“doi”：“10.1007\/978-3-540-45236-2_46”，“volume-title“：”FME 2003:形式方法“，”author“：”M Leuschel“，”year“：”2003“，”unstructured“：”Leuschel，M.，Butler，M.：ProB：B.In的模型检查器：Araki，K.，Gnesi，S.，Mandrioli，D.（编辑）FME 2003。LNCS，第2805卷，第855\u2013874页。斯普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/978-3-540-45236-2_46“}，{“key”：“3_CR14”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“366”，“doi”：“10.1007\/978-301-33163-3_27”，“volume-title”：”严格的基于状态的方法“，”author“：”K Rutenkolk“，”年份“2023”，“非结构化”：“Rutenkolk，K.：将ProB的模型检查扩展到浮点数和混合系统。收录人：Gl\u00e4sser，U.，Creissac Campos，J.，M\u00e 9ry，D.，Palanque，P.（eds.）ABZ 2023。LNCS，第14010卷，第366\u2013370页。查姆施普林格（2023）。https:\/\/doi.org\/10.1007\/978-3-031-33163-3_27“}]，“container-title”：[“模型与数据工程”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\//link.springer.com\/content\/pdf\/10.10007\/978-301-49333-1_3”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“”存放“：{“date-parts”：[[2023,12,21]]，“date-time”：“2023-12-21T11:03:38Z”，“timestamp”：1703156618000}，“score”：1，“resource”：{”primary“：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-031-49333-1_3”}，”subtitle“：[]，”shorttitle“：[]，“issued”：{“date-ports”：[2023,12,22]]}，‘ISBN’：[”9783031493324“，”9783031943331“]，”references-count“：14，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-031-49333-1_3“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“、”type“:”print“}、{”value“：”1611-33049“，”type：”electronic“}]、“subject”：[]，“published”：{“date-parts”：[2023,12,22]]}，“assertion”：“2023年12月22日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”group“：{”name“：”ChapterHistory“，”label“：”Ch章历史“}}，{”value“：”MEDI“，”order“：1，”name“:”conference_acrombit“，”标签“：”会议缩写词“，”group“:{”name:“ConferenceInfo”，“label”：“Conferency Information”}，“value”：“模型与数据工程国际会议”，“order”：2，“name”：“conference_name”，“标签”：“会议名称”，“group”：{name“：”ConferenceInfo“，”label“：”会议信息“}}，{“value”：“Sousse”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}会议信息“｝｝，｛“value”：“2023”，“order”：5，“name”：“Conference_eyear”，“label”：“ConferenceYear”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2023年11月2日”，“order”：7，“name”：“Conference_start_date”，“label”：“Conference_start_date”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2023年11月4日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：\/“，”订单“：11，”name“：”conference_url“，”label“：”会议url“，”group“：conference_management_system“，”label“：”会议管理系统“，”group“：ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“27”，“order”：4，“name”：“number_of_full_papers_accepted”，“label”：“接受的全文数量”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“0“，”order“：5，”name“：”number_of_short_papers_accepted“，”label“：”接受的短文数“，”group“：”{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“27%-该值由等式“接受的完整论文数”/“提交供审查的论文数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}