{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T14:22:39Z”，“时间戳”：1725632559546}，“引用计数”：21，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-发布int“：{“date-parts”：[[2010,9]]}，“DOI”：“10.1109\/qest.2010.41”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2010,10,19]]，“date-time”：“2010-10-19T18:58:35Z”，“timestamp”：1287514715000}，“page”：”273-281“，“source”：：“Crossref”，“is-referenced-by-count”：10，“title”：[“Fortuna:模型检查定价概率时间自动机”]，“prefix”：“10.109”，“volume”:“2034”，“作者”：[{“给定”：“Jasper”，“family”：“Berendsen”，“sequence”：“first”，“affiliation”：[]}，{“given”：“David N.”，”family“：“Jansen”，“serquence”:“additional”，“ffiliation”：[]}，}“giving”：“Frits”，“家族”：“Vaandrager”，“序列”：“addition”，“首页”：“147”，“doi”：“10.1007\/3-540-445351-2_15”，“文章标题”：“定价时间自动机的最小成本可达性”，“卷”：“2034”，“作者”：“behrmann”，“年份”：“2001”，“期刊标题”：“第四届混合系统计算与控制国际研讨会论文集（HSCC'01）ser-LNCS”}，｛“key”：“ref11”，doi断言由“：”crossref“，”doi“：”10.1007\/3-540-445351-2_8“，“article-title”：“加权时间自动机中的最优路径”，“volume”：“2034”，“author”：“alur”，“year”：“2001”，“journal-title:“Proceedings 4th International Workshop on Hybrid Systems Computation and Control（HSCC’01）ser LNCS”}，{“key”：《ref12》，“first page”：第212页，“artice-title“概率时间自动机验证的随机博弈”，“volume”：“5813”，“author”：“kwiatkowska”，“year”：“2009”，“journal-title”：“FORMATS ser LNCS J Ouaknine and F Vaandrager”}，{“key”：”ref13“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/J.ic.2007.01.004“}，”{“密钥”：“ref14”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/QEST.2009.41”}“，{”key“”：“ref15”，“首页”：“128”，“文章标题”：“定价概率时间自动机中成本有界可达性的不确定性”，“卷”：“5532”，“作者”：“贝伦森”，“年份”：“2009”，“日志标题”：“TAMC ser LNCS J Chen and S Cooper”}，{“日志标题“：计算与信息科学研究所Radboud University Nijmegen Report”，“文章标题”：“Fortuna:模型检查定价的概率时间自动机”，“年份”：“2009”，“作者”：“berendsen”，“key”：“ref16”}，{“article-title”：“马尔可夫决策过程：离散随机动态规划”，“年”：“2005”，“author”：“puterman”，“密钥”：“ref17”}“”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/3-540-45352-0_5”}，{“key”：“ref4”，“doi-asserted-by”：”publisher“，”doi“：”10.1145 \/1530873.1530882“}，}”key“：”ref3“，”doi-assert-by“：”publister“，”doi“：：“10.1109\/DSN.2003.1209963”}，{“日志标题”：“ACM跨嵌入式计算系统”，“文章标题”：“使用Uppaal对zeroconf进行形式化规范和分析”，“年份”：“2010”，“作者”：“berendsen”，“key”：“ref5”}，｛“key”：“ref8”，“doi asserted by”：“publisher”，“doi”：“10.1007\\s10703-006-0005-2”｝，｛“key”：“ref7”，“首页”：“311”，“文章标题”：“可能准时且在预算内：关于定价概率时间自动机的可达性”，“author”：“berendsen”，“year”：“2006”，“journal-title”：“QEST IEEE Computer Society”}，{“key”：“ref2”，“first-page”：“200”，“article-title“：”关于uppaal的教程“，“volume”：”3185“，”author“：”behrmann“，”year“：”2004“，”journal-title“:”SFM ser LNCS“}”，{”key“：”ref1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-69850-0_3“}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（01）00046-9”}，{“journal-title”：“Telematics and Information Technology Centre for Telematicals and Information Technology University of Twente Enschede Tech Rep TR-CTIT-06-14”，”article-title“：“成本最优计划的综合与随机评估”，“year”：“2006”，“author”：“mader”，“key”：“ref20”}：“haugstad”，“key”：“ref21”}]，“event”：{“name”：“2010年第七届国际系统定量评价会议（QEST）”，“start”：{-“date-parts”：[[2010,9,15]]}，“location”：“弗吉尼亚州威廉斯堡”，“end”：{--“date-parts”：[2010,9,18]}}，”container-title“：[”2010年第六届国际系统量化评价会议“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/559994\/56000366\/05600380.pdf？arnumber=5600380”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,19]]，“date-time”：”2017-06-19T15:15:40Z“timestamp”：1497885340000}，“分数”：1，“资源”用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/5600380\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2010,9]]}，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.109\/qest.2010.41“，”relationship“：{}”，“subject”：[[]，”published“date-parts”：[[2010,9]}}}