{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,6]]，“日期时间”：“2024-04-06T02:14:12Z”，“时间戳”：171236965365}，“出版商位置”：“查姆”，“参考计数”：22，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319336923”，“类型”：”打印“}，{“值”：“9783319336930”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：[]，“published-print”：{“date-parts”：[2016年]]}，“DOI”：“10.1007\/978-3-319-33693-0_31”，“type”：“书籍章节”，“已创建”：｛“日期部分”：[[2016,5,24]]，“日期时间”：“2016-05-24T05:35:47Z”，“时间戳”：1464068147000｝，“page”：“491-507”，“source”：“Crossref”，“由计数引用”：10，“title”：[“基于规则的铁路基础设施设计一致性检查”]，“prefix”：“10.1007”，“author”：[｛“given”：“Bj\u00f8rnar”，“family”：“Luteberget”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Christian”，“家族”：“Johansen”，“序列”：“additional”，“abfiliation“：[]{”，{”given“：”Martin“，”family“：”Steffen“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published on”：{“date-parts”：[[2016,5,24]]}，“reference”：[{“key”：“31_CR1”，“unstructured”：“Bj\u00f8rner，D.：运输系统软件开发形式化技术的新成果和趋势。摘自：铁路运营和控制系统形式化方法研讨会论文集（FORMS 2003）。L\u2019Harmattan Hongrie（2003）”}，{“key”：“31_CR2”，“series-title”：“计算和信息技术的形式方法”，“doi-asserted-by”：“crossref”，“first page”：“329”，“doi”：“10.1007\/978-1-4471-0523-7_15”，“volume-title”：“实践中的工业强度形式方法”、“author”：“A Bor\u00e4lv”、“year”：“1999”，“unstructured”：“Bor\u00e4lv，A.，St\u00e5lmarck，G.：铁路中的形式验证。摘自：Hinchey，M.G.，Bowen，J.P.（编辑）《实践中的工业强度形式方法》。FACIT，第329\u2013350页。Springer，London（1999）“}，{”key“：”31_CR3“，”doi-asserted-by“：”crossref“，”first page“：“126”，“doi”：“10.1016\/j.is.2014.11.007”，“volume”：“49”，“author”：“M Bosschaart”，“year”：“2015”，“unstructured”：“Bosschaart，M.，Quaglietta，E.，Janssen，B.，Goverde，R.M.P.：RailML.Inf中铁路联锁数据的高效形式化。系统。49，126\u2013141（2015）“，“新闻标题”：“信息系统。“}，{”key“：”31_CR4“，”doi-asserted-by“：”crossref“，”doi“：”10.1002\/9781119005056“，”volume-title“：”CENELEC 50128和IEC 62279标准“，”author“：”J-L Boulanger“，”year“：”2015“，”unstructured“：”Boulange，J.-L.：CENELEC50128和IEC62279标准。Wiley-ISTE，New \u00a0Jersey（2015）“}”，{“key”：“31_CR5”，“doi-assert-by”“：”crossref“，”unstructured“：”Busard，S.、Cappart，Q.、Limbr\u00e9e，C.、Pecheur，C.、Schaus，P.：铁路联锁系统的验证。在：第四届工程安全与安保系统国际研讨会（ESSS），EPTCS第184卷，第19\u201331页（2015）“，“DOI”：“10.4204\/EPTCS.184.2”}，{“key”：“31_CR6”，“series-title”：“计算机科学讲义”，“首页”：“97”，“volume-title”：《正确的硬件设计和验证方法》，“author”：“C Eisner”，“year”：“1999”，“非结构化”：“Eisner，C.：使用符号模型检查来验证hoorn-kersenboogerd和heerhugowaard的火车站。摘自：Pierre，L.，Kropf，T.（编辑）CHARME 1999。LNCS，第1703卷，第97\u2013109页。Springer，Heidelberg（1999）“｝，{“key”：“31_CR7”，“doi asserted by”：“crossref”，“首页”：“61”，“doi”：“10.1002\/97811849898.ch4”，“卷标题”：“工业关键系统的形式化方法”，“作者”：“A Fantech”，“年份”：“2012”，“非结构化”：“Fantechi，A.，Fokkink，W.，Morzenti，A.：铁路信号正式方法应用的一些趋势。收录于：Gnesi，S.，Margaria，T.（编辑）《工业关键系统的形式方法》，第61\u201384页。新泽西州威利（2012）“}，{”key“：”31_CR8“，”first page“：“107”，”volume-title“：”FORMS\/FORMAT 2010“，”author“：”A Ferrari“，”year“：”2010“，“unstructured”：”Ferrari.A.，Magnani，G.，Grasso，D.，Fantechi，A.：模型检查联锁控制表。摘自：Schnieder，E.，Tarnai，G..（eds.）FORMS\/FORMAT2010，pp.107\u2013115。Springer，Heidelberg（2010）“}，{”key“：”31_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Fukuda，M.，Hirao，Y.，Ogino，T.：联锁系统的VDM规范及其验证模拟器。摘自：第九届IFAC运输系统会议论文集控制研讨会，第1卷，第218\u2013223页，布伦瑞克。IFAC（2000）“，”doi“：”10.1016\/S1474-6670（17）38144-2“}，{“key”：“31_CR10”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《205》，“doi”：“10.1007\/978-3-319-05032-4_16”，“volume-title”：《软件工程与形式化方法》，“author”：“AE Haxtausen”，“year”：“2014”，“unstructured”：“Haxthausen，A.E.，Peleska，J.，Pinger，R.：联锁系统设计的应用有界模型检查。收录：Counsell，S.，N\u00fa\u00f1ez，M.（编辑）SEFM 2013。LNCS，第8368卷，第205\u2013220页。Springer，Heidelberg（2014）“}，{“key”：“31_CR11”，“unstructured”：“Jernbaneverket.Teknisk regelverk（2015）.http://trv.jbv.no//”}，“key“：”31_CR12“，”unstructure“：”Lecomte，T.，Burdy，L.，Leuschel，M.：正式检查铁路中的大型数据集。摘自：DS-Event-B 2012年会议录：Event-B中开发可靠系统的进展。结合ICFEM，2012年，第3卷（1），第35页\u201343（2012）“}，{“key”：“31_CR13”，“series-title”：“理论计算机科学中的文本。EATCS系列”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3662-07003-1”，“volume-title”：《有限模型理论的要素》，“author”：“L Libkin”，《年份》：“2004”，“非结构化”：“Libkin，L.：有限模型理论的要素。理论计算机科学课文。EATCS系列。Springer，Heidelberg（2004）“}，{“key”：“31_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Lodemann，M.，Luttenberger，N.，Schulz，E.：铁路基础设施验证的语义计算。收录于：IEEE Seventh International Conference on Semantic，computing，pp.371\u2013376（2013）”，“doi”：“10.1109 \/ICSC.2013.69”}，}，“key“：”31_CR15”，“doi-asserted-by“：”crossref“，”unstructured“：”Luteberget，B.，Feyling，C.：铁路信号和联锁CAD模型中规则和法规合规性的自动验证。在：铁路计算机十五。WIT Press（2016）（待发布）“，”DOI“：”10.2495\/CR160151“}，{“key”：“31_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luteberget，B.，Johansen，C.，Steffen，M.：铁路基础设施设计的基于规则的一致性检查。技术报告450，2016年1月”，“DOI”：“10.1007\/978-3319-33693-03_1”}，“key“：”31_CR17”，“首页”：“233”，“volume-title“：“计算机在铁路IX”，“author”：“A Nash”，“year”：“2004”，“unstructured”：“Nash，A.，Huerlimann，D.，Sch\u00fctte，J.，Krauss，V.P.：RailML-铁路应用的标准数据接口。摘自：Allan，J.、Hill，R.J.、Brebbia，C.A.、Sciutto，G.、Sone，S.（编辑）《铁路九号计算机》，第233\u2013240页。WIT Press，Southampton（2004）“}，{“key”：“31_CR18”，“volume-title”：“Railway Operation and Control”，“author”：“J Pachl”，“year”：“2015”，“unstructured”：“Pachl，J.：铁路运营与控制。VTD Rail Publishing，Mountlake Terrace（2015）”}，}，“key“：”31_CR19“非结构化”：“RailML。铁路应用的XML接口（2016）http://www.railml.org“}，{“issue”：“1\u20132”，“key”：“31_CR20”，“doi-asserted-by”：“crossref”，“first page”：”157“，“doi”：“10.1017\/S1471068411000500”，“volume”：：“12”，“author”：“T Swift”，“year”：“2012”，“unstructured”：“Swift，T.，Warren，D.S.：XSB：用表逻辑编程扩展prolog。Theor.Pract.Log.Program.12（1 u20132），157\u2013187（2012）”，“期刊标题”：“Theor。实际。日志。程序。“}，{”key“：”31_CR21“，”volume-title“：”数据库和知识库系统原理“，”author“：”JD Ullman“，”year“：”1988“，”unstructured“：”Ullman，J.D.：“数据库和知识基础系统原理。CSPP，New York（1988）”}，”{“key”：“31_CR22”，”非结构化“：”Winter，K.、Johnston，W.、Robinson，P.、Strooper，P.和van den Berg，L.：检查铁路联锁设计的工具支持。在：《第十届澳大利亚安全关键系统和软件研讨会论文集》，第101\u2013107（2006）“}]页，“容器标题”：[“计算机科学讲义”，“集成形式化方法”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-319-33693-0_31”，“内容类型”：“未指定”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：[]，“发布”：{“日期-部分”：[[2016]]}，“ISBN”：[“9783319336923“，”9783319.336930“]，”references-count“：22，”URL“：”http://\/dx.doi.org\/10.1007\/978-3319-33693-0_31“，”relation“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：”0302-7743“、”type“:”print“}，{”value“：“1611-349”，“type”：“electronic”}]，“subject”：[]，“已发布”：{“日期-部分”：[2016]}}}