{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:31Z”，“时间戳”：1725557851862}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540201267“}，{”类型“：“electronic”，“value”：“9783540398783”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-39878-3_15“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6,23]]，“date-time”：“2010-06-23T18:39:39:03Z“，”时间戳“：1277318343000}，”页面“：”179-192“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“A Unified Tool for Performance Modelling and Prediction”]，“prefix”：“10.1007”，”author“：[{”given“：”Stephen“，”family“：”Gilmore“，”sequence“：”first“，”affiliation“：[]}，”givent“：”Le\u00efla“，”家族“：”Kloul“，“”：“Tigris.org项目。ArgoUML:使用UML（2002）网页和文档进行设计的建模工具，网址：http://\/ArgoUML.Tigris.org//”，“key”：“15_CR1”}，{“key“：”15_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“353”，“doi”：“10.1007\/3-540-58021-2_20”，“volume-title”：“计算机性能评估”，“作者”：“S.吉尔摩”，“年份”：“1994年”，“非结构化”：“吉尔摩，S.，希尔斯顿，J.：PEPA工作台：支持基于过程代数的性能建模方法的工具。收录：Haring，G.，Kotsis，G.（编辑）TOOLS 1994。LNCS，卷\u00a0794，第353\u2013368页。Springer，Heidelberg（1994）“}，{”key“：”15_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“200”，”doi“：”10.1007\/3-540-46029-2_13“，“volume-title”：“计算机性能评估”，“author”：“M.Kwiatkowska”，“year”：“2002”，“unstructured”：“Kwiatkowska，M.，Norman，G.，Parker，D.：概率符号模型检查器。收录：Field，T.、Harrison，P.G.、Bradley，J.、Harder，U.（编辑）TOOLS 2002。LNCS，第u00a02324卷，第200\u2013204页。Springer，Heidelberg（2002），http://www.cs.bham.ac.uk\/~dxp\/prism\/“}，{“unstructured”：“Object Management Group.Unified Modeling Language，v1.4，OMG document number:formal\/2001-09-67（2001年3月）”，“key”：“15_CR4”}，}“key“：”15_CR5“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511569951“，”volume-title“：”A Compositional Approach to Performance Modelling”，“author”（作者）：“J.Hillston”，“year”（年份）：“1996”，“unstructured”（非结构化）：“Hillston-J.：性能建模的组合方法。剑桥大学出版社，剑桥（1996）“}，{”issue“：”1“，”key“：”15_CR6“，”doi-asserted-by“：”publisher“，”first page“：“7”，”doi“：”10.1023\/A:“1008739929481”，“volume”：“15”，“author”：“R.Alur”，“year”：“1999”，“unstructured”：“Alur，R.，Henzinger，T.A.：反应模块。系统设计中的形式方法：国际期刊\u00a015（1），7\u201348（1999）“，”journal-title“：“系统设计中的形式方法：国际期刊”}，{“unstructured”：“Parker，D.：PRISM 1.3 User\u2019s Guide，伯明翰大学（2003年2月），http://www.cs.bham.ac.uk\/~dxp\/PRISM”，“key”：“15_CR7”}Somenzi，F.：CUDD：CU决策图包。科罗拉多大学博尔德分校电气与计算机工程系（2001年2月）“，”key“：”15_CR8“}，”{“key”：“15_CR9”，”doi-asserted-by“：”crossref“，”doi“：”10.7551\/mitpress\/2319.001.0001“，”volume-title“：”标准ML的定义：“1997年修订”，”author“：”R.Milner“，”year“：”1997“，”unstructured“：”Milner，R.、Tofte，M.、Harper，R.和MacQueen，D.：标准ML的定义：1997年修订。麻省理工学院出版社，剑桥（1997）“}，{”issue“：”1“，”key“：”15_CR10“，”doi-asserted-by“：”publisher“，”first page“：“137”，“doi”：“10.1109\/25.740076”，“volume”：“48”，“author”：“M.D.Kulavaratharasha”，“year”：“1999”，“unstructured”：“Kulavaratharasah，M.D.，Aghvami，A.H.：具有优先级切换过程的微蜂窝个人通信网络（PCN\u2019s）的通信量性能评估。IEEE车辆技术汇刊\u00a048（1），137\u2013152（1999）“，”期刊标题“：”IEEE车辆科技汇刊“}，{“问题”：“9”，“关键”：“15_CR11”，“doi-asserted-by”：“publisher”，“首页”：“1398”，“doi”：“10.1109\/5.317085”，“卷”：“82”，“作者”：“I.Katzela”，“年份”：“1994”，“非结构化”：“Katzela，I.，Naghshineh，M.：蜂窝移动通信系统的信道分配方案：综合调查。IEEE\u00a082（9），1398\u20131430（1994）“，“期刊标题”：“IEEE学报”}，{“key”：“15_CR12”，“series-title”：“计算机科学讲义”，“首页”：“169”，“volume-title”：”计算机辅助验证“，“author”：“A.Aziz”，”年份“1996”，“unstructured”：“Aziz，A.，Sanwal，K.，Singhal，V.，Brayton，R.：验证连续时间马尔可夫链。In:Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，卷\u00a01102，第169\u2013276页。Springer，Heidelberg（1996）“}，{”key“：”15_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“159”，”doi“：”10.1007\/3-540-46029-2_10“，”volume-title“：“计算机性能评估”，”author“：”D.C.Petriu“，”year“：”2002“，”unstructured“：”Petriu，D.C.，Shen，H.：应用UML性能概要：从UML规范中基于图语法的LQN模型推导。收录：Field，T.、Harrison，P.G.、Bradley，J.、Harder，U.（编辑）TOOLS 2002。LNCS，卷\u00a02324，第159\u2013177页。Springer，Heidelberg（2002）“}，{“非结构化”：“Selic，B.，Moore，A.，Woodside，M.，Watson，B.，Bjorkander，M.、Gerhardt，M.和Petriu，D.：对OMG可调度性、性能和时间RFP的响应，修订版，OMG文件编号：ad\/2001-06-14（2001年6月）”，“key”：“15_CR14”}，}“key“：”15_CR15“首页”：“405”，“卷时间”：“第十七届计算机与信息科学国际研讨会论文集”，“作者”：“J.P.L\u00f3pez-Grao”，“年份”：“2002年”，“非结构化”：“L\u00 f3pez-Grao，J.P.，Merseguer，J.，Campos，J.：从UML活动图到随机Petri网：应用于软件性能分析。摘自：《第十七届国际计算机与信息科学研讨会论文集》，佛罗里达州奥兰多，第405\u2013409页。CRC Press，Boca Raton（2002）“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Donatelli，S.，Hillston，J.，Ribaudo，M.：性能评估过程代数与广义随机Petri网的比较。摘自：第六届Petri网与性能模型国际研讨会，北卡罗来纳州达勒姆（1995）”，“key”：“15_CR16”，“doi”：“10.1109\/PNPM.1995.524326“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Gilmore，S.，Hillston，J.，Kloul，L.，Ribaudo，M.：PEPA网络：结构化性能建模形式主义。In:性能评估，2003。《第十二届计算机和通信系统性能评估建模工具和技术国际会议论文集》（2003年）（待出版），“key”：“15_CR17”，“DOI”：“10.1016\/S0166-5316（03）00069-5”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Gilmore，S.、Hillston，J.、Kloul，L.、Ribaudo，M.：使用PEPA网络和PRISM进行性能建模。摘自：苏格兰爱丁堡第二届PASTA研讨会论文集，第23\u201339页（2003年6月）“，”key“：”15_CR18“，”DOI“：”10.1145\/97404.974047“}]，”container-title“：[”计算机科学讲义“，”计算机安全、可靠性和安全“]，”original-title”：[]，”link“：[{”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/978-39878-3_15“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,30]]，”date-time“：“2019-05-30T06:53:47Z”，”timestamp“：1559199227000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3540-39878-3_15“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2003]]}，“ISBN”：[“9783540201267”，”9783540398783“]，”引用计数“：18，”URL“http://\/dx.doi.org 10.1007\/978-3-540-39878-3_15”，“关系”：{}，“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2003]]}}