{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,22]]，“日期时间”：“2022-12-22T02:28:22Z”，“时间戳”：1671676102318}，“引用-计数”：29，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2014,10]]}，“DOI”：“10.1109\/fmcad.2014.6987591”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2014,12,30]]，“date-time”：“2014-12-30T20:00:39Z”，“timestamp”：1419969639000}，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“Towards Pareto-optimal parts synthesis for monoie cost functions”]，“prefix”：“101109”，“author”：[{“given”：”B，“家庭”：“Bittner”，“sequence”：“first”，“affiliation”：[]}，{“given”：“M.”，“family”：“Bozzano”，“序列”：“additional”，“filiation“：[]{”given“：”A.“，”family“：”Cimatti“，”sequence“：”additional ggio“，”sequence“：”additional“，”affiliation“：[]}]，“member”：“263”，“reference”：[{“key”：“19”，“first page”：”265“，“article-title”：“Hytech:The cornell hybrid technology tool”，“author”：“henzinger”，“year”：“1994”，“journal title”：”hybrid Systems“}，{“密钥”：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.7873\/DATE.2014.161”}，“key“18”，“首页”：“69”，“article-tittle”：“逼近多准则优化问题的pareto前沿”，“author”：“legriel”，“year”：“2010”，“journal-title”：“TACAS”}，{“key”：“15”，“first-pages”：“70”，“article-title“：“Sat-based model checking without unrolling”，“作者”：“bradley”，“年份”：“2011”，“日记标题”：“VMCAI”}：“10.1109\/RE.2012.6345800”}，{“key”：“13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-75596-8_13”}“，”年份“：”1994“，”新闻标题“：“Edizioni Studio Tesi”}，{“key”：“12”，“author”：“vesely”，“year”：“2002”，“期刊标题”：“航空航天应用故障树手册”}，{“key”：“21”，“首页”：“187”，“文章标题”：“线性混合自动机参数合成的反例指导方法”，“author”：“frehse”，“year”：“2008”，“期刊标题”：“HSCC”}，{“key”：“20”，“doi asserted by”：“publisher”，“doi”：“10.1109\/TSE.2005.13”}，｛“key”：“22”，“首页”：“33”，“文章标题”：“Iminator 2.5:分析调度问题鲁棒性的工具”，“author”：“andr\uffdd”，“year”：“2012”，“journal title”：“FM”}，｛“key”：“23”，“首页”：“16”，“文章标题”：“使用hymitator的混合系统参数分析”，“author”：“andr\uffd”，“year”：“2012”，“journal-title”：“IFM”}，{“key”：“24”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-54862-8_22”}、{“密钥”：“25”，“文章标题”：“The nuxmv symbol model checker”，“author”：“cavada”，“年份”：“2014”，“日记标题”：“：“通过基于符号模型的推理实现车载自主”，“作者”：“bozzano”，“年份”：“2008年”，“新闻标题”：“欧空局第十届机器人和自动化先进空间技术研讨会会议记录”}，{“key”：“27”，“article-title”：“星载自主性验证和确认的综合方法”，“author”：“bozano”，“year”：“2011”，“journal-title“：“第22届国际人工智能联合会议论文集”}，{“key”：“28”，“article-title”：“使用通用框架对诊断算法性能进行实证评估”，“author”：“feldman”，“year”：“2010”，“journal-title“：“International journal of Pregnostics and Health Management”}：“通过符号模型检查对可诊断性进行形式验证”，“author”：“cimatti”，“year”：“2003”，“journal-title”：“Proceedings of the 18th International Joint Conference on Artificial Intelligence”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/PRDC.2011.36”}：“合成具有实时约束的网络物理架构模型”，“author”：“hang”，“year”：“2011”，“journal-title”：“CAV”}，{“key”：“10”，“article-title“：“可诊断性可观测性要求的符号合成”，“author”:“bitner”，“year”:“2012”，“journal-ttitle”：：“10.1145\/1273463.1273473”}，{“key”：“7”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DATE.2006.243771”}4“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/DELTA.2011.22“}，{”key“：”9“，“article-title”：“可诊断性的符号测试”，“author”：“grastien”，“year”：“2009”，“journal-title:“第二十届诊断原理国际研讨会（DX-09”}，{“key”：“8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/RTSS.2008.36”}]，“event”：{“name”：“2014计算机辅助设计（FMCAD）的形式方法”，“location”：“瑞士洛桑”，“start”：{“date-parts”：[[2014,10,21]]}，“end”：{“date-parts”：[[2014,10,24]]}}，”container-title“：[”2014计算机辅助设计（FMCAD）中的形式方法“]，”original-title”：[]，“link”：[{“URL”：“http://\explorestaging.ieee.org\/ielx7\/6975680\/698576\/0698791.pdf？arnumber=6987591“，”content-type“：”unspecified“，”content-version“：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,23]]，“date-time”：“2017-03-23T20:51:29Z”，“timestamp”：1490302289000}，“score”：1，“resource”：{“primary”：{URL：“http://ieeexplore.ieee.org\/document\/6987591\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“{”“date-parts”：[[2014,10]]}，“references-count”：29，“URL”：“http://\/dx.doi.org\/10.109\/fmcad.2014.6987591”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2014,10]]}}