{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T00:46:36Z”，“时间戳”：1725497196840}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“97838 540009139“}，{”类型“：“electronic”，“value”：“9783540365808”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/3-540-36580-x_11“，”type“：”book-capter“，”created“：”{“date-part”：[2007,12,9]]，“date-time”：“2007-12-09T12:13:36Z“，”timestamp“：1197202416000}，”page“：”113-125“，“source”：“Crossref”，“is-referenced-by-count”：14，“title”：[“单输入单输出连续时间控制系统的Hoare逻辑”]，“prefix”：“10.1007”，”author“：[{”given“：”Richard J.“，”family“：”Boulton“，”sequence“：”first“，”affiliation“：[]}，{“given”：”Ruth“，”“family”：“Hardy”，“sequence”：“additional”，“afliation”：[]{，“givent”：“Ursula”，“家庭”：“Martin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2003,3,14]]}，“reference”：[{“key”：“11_CR1”，”doi-asserted-by“：”crossref“，”unstructured“：”R.Arthan，P.Caseley，C.O\u2019Halloran，and A.Smith.ClawZ:Z中的控制法。程序中。第三届IEEE形式工程方法国际会议（ICFEM 2000），约克，2000年9月。”，“DOI”：“10.1109\/ICFEM.2000.873817”}，{“key”：“11_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.J.C.Gordon。高阶逻辑中的编程逻辑机械化。G.Birtwistle和P.A。Subrahmanyam，编辑，《硬件验证和自动定理证明的当前趋势》，第387\u2013439页。Springer-Verlag，1989.“，”DOI“：”10.1007\/978-1-4612-3658-0_10“}，{”issue“：”10“，”key“：”11_CR3“，”DOI-asserted-by“：”publisher“，”first page“：“576”，“DOI”：“10.1145\/363235.363259”，“volume”：“12”，“author”：“C.A.R.Hoare”，“year”：“1969”，”“unstructured”：“C.A.R.Hoare。计算机编程的公理基础。ACM通信，12（10）：576\u2013580，5831969年10月。马奥尼。复杂动态过程设计的DOVE方法。程序中。第一届连续数学形式化国际研讨会NASA会议出版物NASA\/CP-2002-11736第167\u2013187页2002年8月“}，{“key”：“11_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“T.Nipkow.Hoare Logics in Isabelle \/HOL.in Proof and System-Reliability，第341\u2013367页，Kluwer，2002。”，“doi”：“10.1007 \/978-94-010-0413-8_11“}，{“key”：“11_CR7”，“unstructured”：“K.Ogata.现代控制工程.Prentice-Hall，第三版，1997年。”}。编辑普拉特。《飞行控制系统：设计和实施中的实际问题》，IEE控制工程系列第57卷。电气工程师学会，2000年。美国航空航天学会联合出版。“，”DOI“：”10.1049\/PBCE057E“}，{“key”：“11_CR9”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-45873-5_36”，“volume-title”：”Proc.5th International Workshop on Hybrid Systems:Computation and Control（HSCC 2002）“，”author“：”A.Tiwari“，”year“：”2002“，”unstructured“：”A.Tiwari and G。卡纳。混合自动机的一系列抽象。程序中。第五届混合系统国际研讨会：计算与控制（HSCC 2002），计算机科学讲义第2289卷，Springer，2002。“}，{“key”：“11_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“C.Gurr and K。图拉斯。面向软件工程图的原则设计。程序中。第22届国际软件工程会议，第509\u2013520页，ACM出版社，2000年。“，”DOI“：”10.1145\/337180.337371“}]，”container-title“：[”计算机科学讲义“，”混合系统：计算和控制“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.10007\/3-540-36580-X_11“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,5]]，”date-time“：”2019-05-05T20:15:52Z“，”timestamp“：1557087352000}，”score“：1，”resource:{“primary”：{“URL”：“http://link.sprimary.com\/101007\/3-540-36580-X_11”}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2003]]}，“ISBN“：[”9783540009139“，”978354365808“]，”references-count“：10，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-36580-x_11“，”relation“：{}，”ISSN“：【”0302-9743“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974 3”}]，“subject”：[]，“published”：{“date-parts”：[[2003]]}}}}