{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T15:46:26Z”，“时间戳”：1725551186405}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 664888“}，{”类型“：”电子“，“value”：“9783540482499”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]重新限制“：false}，”short-container-title“：[]，”published-print“用法：{“date-parts”：[[1999]]}，“DOI”：“10.1007\/3-540-48249-0_35”，“type”：“book-chapter”，“created”：{（日期-parts）：[[2010,3,29]]，“date-time”：“2010-03-29T21:13:11Z”，“timestamp”：1269897191000}，”page“：”410-419“，”update-policy“http://\/dx.DOI.org\/10.10007\/springer_crossmark_policy”，“source”：“Crossref”，“is-referenced-by-count”：8，“title”：[“安全关键型列车管理系统的正式规范和开发”]，“前缀”：“10.1007”，“作者”：[{“给定”：“a.”，“家族”：“Chiappini”，”sequence“：”first“，”affiliation“：[]}，”given“：”a.G.“，“family”：“Rotondo”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“R.”，“faily”：”Sebastiani“，”sequence“：”additional“，”published-online“：{”date-parts“：[[1999,10,14]]}，“reference”：[{“key”：“35_CR1”，“unstructured”：“A.Chiappini，A.Cimatti，F.Giunchiglia，G.Rotondo，R.Sebastiani，P.Traverso，and A.Villafiorita。无线闭塞中心（RBC）的正式规范：第一部分。RBC I:Ansaldo-IRST项目报告，1998年12月。”}，{：“EEIG-ERTMS Users Group，25 Avenue De Beaulieu 1160 Brussels，Belgium。Scenarios。”}，{“key”：“35_CR3”，“unstructured”：“EEEG-ERTMS用户组，25 Aveen De Beauleue 1160 Brucsels，Bilgium，System Requirements Specification.”}、{“issue”：“3”、“key“：”35_CR4“，“doi-asserted-by”：“publisher”、“first page”：”“231”、“doi”：“10.1016\/0167-6423（87）90035-9”，“volume”：“8”，“author”：“Harel.David”，“year”：“1987”，“unstructured”：“David Harel.Statecharts:A Visual Formalism for Complex Systems.Science of Computer Programming，8（3）：231\u20132741987年6月。”，“journal-title”：“Science for Computer Programming”}，{“key”：“35_CR5”，“非结构化”：“ITU-T.CCITT规范和描述语言（SDL），1993年3月。ITU-T建议Z.100.“}，{“key”：“35_CR6”，“unstructured”：“ITU-T消息序列图（MSC），1996年10月。ITU-T建议Z.120.“｝，｛“key”：“35_CR7”，“nonstructured”：“VERILOG.ObjectGeode Documentation。可在http://www.verilogusa.com\n\n.”｝上找到，“container title”：[“计算机科学讲义”，“计算机安全、可靠性和安全性”]，“原标题”：[]，“language”：“en”，“link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48249-0_35“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,5,19]]，”date-time“：“2019-05-19T14:33:27Z”，“timestamp”：1558276407000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-48249-0_35“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1999]]}，“ISBN”：[“9783540664888”，“978354482499”]，”引用计数“：7，”URL“：”http://\/dx.doi.org\/10.10007\/3540-48249-0.35“，”关系“：{}，“0302-9743”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}]，“主题”：[]，“发布了“：{“date-parts”：[[1999]]}，“assertion”：[{“value”：“1999年10月14日”，“order”：1，“name”：“first_online”，“label”：“first online”，”group“：{name”：”ChapterHistory“，”label“：”Cha章历史“}}]}