{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,8]]，“日期时间”：“2024-04-08T07:09:13Z”，“时间戳”：1712560153678}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642329425”，“类型”：“打印”}，{“值”：“9783642329432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32943-2_17“，”type“：”book-capter“，”created“：”{“date-part”：[2012,8,28]]，“date-time”：“2012-08-28T04:599:35Z“，”时间戳“：1346129975000}，”页面“：”213-227“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“通过设计确保可达性”]，“prefix”：“10.1007”，”author“：[{”given“：”Beno\u00eet“，”family“：”Caillaud“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Jean-Baptiste“，”“family”：“Raclet”，“sequence”：“additional”，“afliation”：[]2]，“member”：“297”，“reference”：[{“key”：“17_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“de Alfaro，L.，Henzinger，T.A.：接口自动机。In：第九届ACM SIGSOFT软件工程基础国际研讨会的程序（FSE 2001），第109\u2013120页。ACM出版社（2001）“，”DOI“：”10.1145 \/503225.503226“}，{”key“：”17_CR2“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“163”，“DOI”：“10.1007 \/BFb0055622”，“volume-title”：“CONCUR\u201998并发理论”，“author”：“R.Alur”，”年份“：”1998“，”非结构化“：”Alur，R.，Henzinger，T.A.，Kupferman，O.，Vardi，M.Y.：交替精炼关系。收录：Sangiorgi，D.，de Simone，R.（编辑）CONCUR 1998。LNCS，第u00a01466卷，第163\u2013178页。Springer，Heidelberg（1998）“}，{“key”：“17_CR3”，“unstructured”：“Antonik，A.，Huth，M.，Larsen，K.G.，Nyman，U.，Wasowski，A.：20年的模态和混合规范。EATCS\u00a01（94）（2008）公报”}，“key“：”17_CR4“，”doi-asserted-by“：”crossref“，”unstructure“：”B\u00e9rard，B.，Bidoit，M.，Finkel，A.，Laroussinie，F.，Petit，A.，Petrucci，L.，Schnoebelen，P.：系统和软件验证。模型检查技术和工具。Springer（2001）“，“DOI”：“10.1007\/978-3-662-04558-9”}，{“key”：“17_CR5”，“unstructured”：“Caillaud，B.，Raclet，J.B.：通过设计确保可达性。技术代表，INRIA研究报告7928（2012），http://\/hal.INRIA.fr\/hal-00696151”}Darondeau，P.、Dubreil，J.、Marchand，H.：服务模式规范的监督控制。参见：离散事件系统研讨会（WODES 2010），德国柏林，pp.428\u2013435（2010年8月）“}，{“key”：“17_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Doyen，L.，Henzinger，T.A.，Jobstmann，B.，Petrov，T.：组件重用的接口理论。参见：第八届嵌入式软件国际会议（EMSOFT 2008），pp.79\u201388。ACM出版社（2008）“，”DOI“：”10.1145\/1450058.1450070“}，{”key“：”17_CR8“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“276”，”DOI:“10.1007\/978-3642-11623-0_16”，“volume-title”：“软件工程基础”，“author”：“H.Fecher”，“year”：“2010”，“unstructured”：“Fecher，H.，de Frutos-Escrig，D.，L\u00fcttgen，G.，Schmidt，H.：关于精炼设置的表达性。摘自：Arbab，F.，Sirjani，M.（编辑）FSEN 2009。LNCS，第u00a05961卷，第276\u2013291页。Springer，Heidelberg（2010）“}，{”issue“：”1-2“，”key“：”17_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”20“，”doi“：”10.1016\/j.jlap.2008.05.003“，”volume“：“77”，”author“：”H.Fecher“，”year“：”2008“，”unstructured“：”Fecher，H.，Schmidt，H.：将析取式模态转换系统与单选变体进行比较。j.Log.Algebr.Program.\u00a077（1-2），20\u201339（2008）“，”期刊标题“：”J.Log。阿尔盖布。程序。“}，{”issue“：“2”，”key“：“17_CR10”，”doi-asserted-by“：”publisher“，”first page“：”181“，“doi”：“10.1007\/s10626-006-0008-6”，“volume”：“17”，“author”：“G.Feuillade”，“year”：“2007”，“unstructured”：“Feuillaed，G.，Pinchinat，S.：离散事件系统控制理论的模态规范。离散事件动态系统\u00a017（2），181\u2013205（2007））“，”journal-title“：”Discrete Event Dynamic Systems“}，{”issue“：”10“，”key“：”17_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”32“，”doi“：”10.1109\/MC.2007.364“，”volume“：“40”，”author“：”T.A.Henzinger“，”year“：”2007“，”unstructured“：”Henziger，T.A.，Sifakis，J.：嵌入式系统设计的学科。IEEE Computer\u00a040（10），32\u201340（2007）“，“”journal-title“：”IEEE Computer“}，{“key”：“17_CR12”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”64“，“doi”：“10.1007\/978-3-540-71316-6_6”，“volume-title”：”Programming Languages and Systems“，”author“：”K.G.Larsen“，”year“：”2007“，”unstructured“：”Larsen，K.G.，Nyman，U.，W\u0105sowski，A.：接口和产品线理论的模式I/O自动机。摘自：De Nicola，R.（编辑）ESOP 2007。LNCS，第u00a04421卷，第64\u201379页。Springer，Heidelberg（2007）“}，{“key”：“17_CR13”，“unstructured”：“Larsen，K.G.，Xinxin，L.：使用模态转换系统求解方程。摘自：IEEE第五届计算机科学逻辑交响曲，LICS 1990，pp.108\u2013117。IEEE Computer Society Press（1990）“}，{”key“：”17_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“232”，”doi“：”10.1007\/3-540-52148-8_19“，”volume-title“：“有限状态系统的自动验证方法”，”author“：”K.G.Larsen“，”year“：”1990“，”unstructured“：”Larsen，K.G.：模态规范。收录：Sifakis，J.（编辑）CAV 1989。LNCS，卷\u00a0407，第232\u2013246页。Springer，Heidelberg（1990）“}，{”key“：”17_CR15“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“105”，“doi”：“10.1007\/978-3-540-74407-8_8”，“volume-title”：“CONCUR 2007\u2013 Concurrency Theory”，“author”：“K.G.Larsen”，“year”：“2007”，“unstructured”：“”Larsen，K.G.，Nyman，U.，W\u0105sowski，A.：关于模态精化和一致性。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第u00a04703卷，第105\u2013119页。Springer，Heidelberg（2007）”，{“键”：“17_CR16”，“非结构化”：“Larsen，K.G.，Thomsen，B.：模态过程逻辑。收录于：第三届计算机科学逻辑年会论文集（LICS 1988），第203\u2013210页。IEEE（1988）“}，{”issue“：”1-2“，”key“：”17_CR17“，”doi-asserted-by“：”crossref“，”first page“：“43”，“doi”：“10.3233\/FI-2011-413”，“volume”：“108”，“author”：“N.Lohman”，“year”：“2011”，“unstructured”：“Lohman，N.，Wolf，K.：操作指南的紧凑表示和高效算法。Fundam.Inform.\u00a0108（1-2），43\u201362（2011）”，“新闻标题“：”Fundam。通知。“}，{”问题“：”3“，”键“：”17_CR18“，”首页“：”219“，”卷“：”2“，”作者“：”N.Lynch“，”年份“：”1989“，”非结构化“：”Lynch，N.，Tuttle，M.R.：输入/输出自动机简介。CWI-quarterly \u00a02（3），219\u2013246（1989）“，”日记标题“：”CWI-quanterly“}”，{“键”：“17_CR19”，“非结构化”：”Massuthe，P.，Schmidt，K.：操作指南——面向服务架构的自动机理论基础。收录于：QSIC，第452\u2013457页。IEEE计算机协会（2005）“｝，｛“key”：“17_CR20”，“doi asserted by”：“crossref”，“nonstructured”：“Raclet，J.B.，Badouel，E.，Benveniste，A.，Caillaud，B.，Legay，A.，Passerone，R.：模态接口：统一接口自动机和模态规范。In：第九届国际嵌入式软件大会（EMSOFT 2009），pp.87\u201396。ACM（2009）“，”DOI“：”10.1145\/1629335.1629348“}，{”key“：”17_CR21“，”DOI-asserted-by“：”crossref“，”first page“：“1”，“DOI”：“10.3233\/FI-2011-390”，“volume”：“107”，“author”：“J.B.Raclet”，“year”：“2011”，“unstructured”：“Raclet，J.B.，Benveniste，A.，Caillaud，B.，Legay，A.，Passerone，R.：基于组件设计的模态接口理论。芬丹。通知。\u00a0107，1\u201332（2011）“，“新闻标题”：“Fundam。通知。“}，{”issue“：“2”，”key“：“17_CR22”，”doi-asserted-by“：”publisher“，”first page“：”127“，“doi”：“10.1007\/s10257-005-0053-y”，“volume”：“3”，“author”：“A.Wombacher”，“year”：“2005”，“unstructured”：“Wombacher，A.，Mahleko，B.，Neuhold，E.J.：IPSI-PF-基于注释有限状态自动机的业务流程匹配引擎。Inf。系统。电子商务管理\u00a03（2），127\u2013150（2005）“，“新闻标题”：“信息系统。电子商务管理“}]，“container-title”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-32943-2_17.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2021,5,4]]，“date-time”：“2021-05-04T11:49:46Z”，“timestamp”：1620128986000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\/link.springer.com\/10007\/978-3642-32943-2_17”}}，”subtitle“：[]，”shorttitle“：[]，”issued“:{”date-part“：[2012]]}”，“ISBN”：[“9783643]2329425“，”9783642329432“]，”references-count“：22，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-32943-2_17“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”数值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期部分“：[2012]]}}}}