{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T15:16:32Z”，“时间戳”：1725722192413}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：25，“出版者”：“ACM”，“内容-域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2005,7,12]]}，“DOI”：“10.1145\/1071021.1071023”，“type”：“proceedings-article”，“created”：{“date-parts”：[2005,8,3]]，“date-time”：“2005-08-03T08:31:47Z”，“timestamp”：1123057907000}，”page“13-23”，“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：22，”title“：[“From StoCharts to MoDeST”]，“prefix”：“10.1145”，“author”：[{“given”：“Holger”，“family”：“Hermanns”，“sequence”：“first”，“affiliation”：[}“name”：“University\u00e4t des Saarlandes，Saarbr\u00fccken，Germany”}]}，{“给定”：“David N.”，荷兰“}]}，{”给定“：“Yaroslav S.”，“family”：“Usenka”，“sequence”：“additional”，“affiliation”：[{“name”：“荷兰埃因霍温技术大学”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2005,7,12]}，“reference”：[}“key”：“e_1_3_2_1_1_1_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-975（94）90010-8“}，{”键“：”e_1_3_2_1_2_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.2003.1205180”}，{“key”：“e_1_3_2_1_3_1”，”doi-assert-by“：”publisher“，”doi“：”10.1109\/2.774917“}，”{“key”：“e_1_3_1_4_1”、“series-title”：“LNCS”，“first page”：”116“，“volume-title”：”Proc.TOOLS'03“，”author“：”Bohnenkamp H.C.“，“年份”：“2003年”，“非结构化”：“H.C.Bohnenkamp，H.Hermanns，J.-P。Katoen和R.Klaren。Modest建模工具及其实现。P.Kemper和W.H.Sanders，编辑，Proc。《工具'03》，LNCS第2794卷，第116-133页，柏林，2003年。施普林格。]]H.C.Bohnenkamp、H.Hermanns、J.-P.Katoen和R.Klaren。Modest建模工具及其实现。P.Kemper和W.H.Sanders，编辑，Proc。《工具'03》，LNCS第2794卷，第116-133页，柏林，2003年。施普林格。]]“}，{”key“：”e_1_3_2_1_5_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1025129.1026072”}，“key”：“e_1_ 3_2_1 _6_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0169-7552（87）90085-7“}”，{“：”Proc.PAPM-PROBMIV'01“，”author“：”D'Argenio P.R.“，”year“：”2001“，”unstructured“：”P.R。达格尼奥、H.赫尔曼斯、J.-P.卡托恩和R.克拉恩。MoDeST：随机时间系统的建模和描述语言。L.de Alfaro和S.Gilmore，编辑，Proc。PAPM-PROBMIV’01，LNCS第2165卷，第87-104页。施普林格，2001年。]]P.R.D’Argenio、H.Hermanns、J.-P.Katoen和R.Klaren。MoDeST：随机时间系统的建模和描述语言。L.de Alfaro和S.Gilmore，编辑，Proc。PAPM-PROBMIV’01，LNCS第2165卷，第87-104页。施普林格，2001.]]“}，{“key”：“e_1_3_2_9_1”，“doi由”断言：“publisher”，“doi”：“10.5555\/8824748.883478”}，{“key”：“e_1_3_2_10_1”，“非结构化”：“F.Dehne H.van de Zandschulp and R.Wieringa。概念建模工具包（TCM）。http:\/\/www.cs.utwente.n1\/~TCM\/.]]F.Dehne H.van de Zandschulp and R。威林加。概念建模工具包（TCM）。http://www.cs.utwente.n1\/~tcm\/.]]“}，{”key“：”e_1_3_2_11_1“，”first page“：“121”，”volume-title“：”Proc.FMOODS 2000“，”author“：”Eshuis R.“，”year“：“2000”，”unstructured“：”R.Eshuis and R.Wieringa。UML状态图的需求级语义。S.F.Smith and C.L.Talcott，Proc.FMOODS 2000编辑，第121-140页，波士顿，2000。Kluwer Academic Publishers。]R。Eshuis和R.Wieringa。UML状态图的需求级语义。在S.F.Smith和C.L.Talcott，编辑，Proc。FMOODS 2000，第121-140页，波士顿，2000年。Kluwer学术出版社。]]“}，{”key“：”e_1_3_2_12_1“，”unstructured“：”Euroradio FFFIS:class 1 requirements.http://www.aeif.org\/db\/docs\/ccm\/SUBSET-052-v200.PDF 2000。]]Euroradiao FFFIS：class 1 resquirements。http://www.aeif.org\/db\/docs\/cscm\/SUBSET-052-v200.PDF 2000.]]“}”，{“key”：“e_1_ 3_2_13_1”，“unstructure”：”功能要求规范：列车完整性监测系统。http://www.aeif.org\/db\/docs\/ccm\/EEIG-TIMS-Document.doc 2000.]]功能要求规范：列车完整性监测系统。http://www.aeif.org\/db\/docs\/ccm\/EEIG-TIMS-Document.doc 2000.]]“}，{”volume-title“：”通信顺序过程“，”年份“：”1985“，”作者“：”Hoare C.A.R.“，”key“：”e_1_3_2_14_1“，“unstructured”：”C.A.R。霍尔。传达顺序过程。Prentice-Hall国际计算机科学系列。普伦蒂斯·霍尔（Prentice-Hall），恩格尔伍德克利夫斯（Englewood Cliffs），新泽西州，1985年。]]C.A.R.霍尔。传达顺序过程。Prentice-Hall国际计算机科学系列。Prentice-Hall，Englewood Cliffs，NJ，1985.]]“}，{”volume-title“：”SPIN模型检查器：引物和参考手册“，”year“：”2004“，”author“：”Holzmann G.J.“，”key“：”e_1_3_2_15_1“，“unstructured”：“G.J.Holzmann.SPIN模型检查器：引文和参考手册。Addison-Wesley，Boston，2004。]G.J。霍尔兹曼。SPIN模型检查器：底漆和参考手册。Addison-Wesley，Boston，2004.]]“}，{”key“：”e_1_3_2_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1025129.1026094”}，“key”：“e_1_ 3_2_18_1”，“doi-assert-by”：“crossref”，”unstructured“：”D.N.Jansen H.Hermanns和J.-P.Katoen。UML状态图面向QoS的扩展。Whittle和G.Booch编辑器\u00abUML\u00bb 2003：统一建模语言卷，共2863卷，LNCS第76页，第91页。\n Springer 2003年。]]D.n.Jansen H.Hermanns和J.-P.Katoen。面向QoS的UML状态图扩展。在P.Stevens J.Whittle和G.Booch编辑\u00abUML\u00bb 2003中：统一建模语言第2863卷，LNCS第76-91页。Springer 2003.]]“，”DOI“：”10.1007\/978-3-540-45221-8_7“}，{”key“：”e_1_3_2_1_19_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1006\/inco.1996.0060”}，“key”：“e_1_ 3_2_1_20_1”，“首页”：“219”，“volume-title”：“input\/output automata.CWI季刊简介”，“author”：“Lynch N.A.”，“year”：“1989”，“非结构化”：“N.A.Lynch和M.R。塔特尔。输入/输出自动机简介。CWI季刊，第219--246页，1989年。]]N.A.Lynch和M.R.Tuttle。输入/输出自动机简介。CWI季刊，第219--246页，1989年。]]“}，{“卷时间”：“并发：状态模型和Java程序”，“年份”：“1999年”，“作者”：“Magee J.”，“密钥”：“e_1_3_2_1_21_1”，“非结构化”：“J.Magee和J.Kramer。并发：状态模式和Java程序。Wiley，Chichester，1999年。]]J.Mage和J。克莱默。并发：状态模型和Java程序。Wiley，Chichester，1999.]]“}，{“key”：“e_1_3_2_1_22_1”，“doi由”断言：“publisher”，“doi”：“10.1109\/2.161279”}，{“volume title”：“Object Management Group”，“year”：“2003”，“author”：“OMG”，“key”：“e_1_3_2_23_1”，“nonstructured”：“OMG统一建模语言规范。对象管理组，马萨诸塞州尼达姆，1.5版，2003年3月。]]OMG统一建模语言规范。Object Management Group，Needham，MA，1.5版，2003年3月。]]“}，{”volume-title“：”March“，”year“：”2000“，”key“：”e_1_3_2_1_24_1“，”unstructured“：”互操作性的性能要求。http://www.aeif.org\/db\/docs\/ccm\/SUBSET-041_v200.PDF，2000年3月。]]互操作性的性能要求。http://www.aeif.org\/db\/docs\/ccm\/SUBSET-041_v200.PDF，2000年3月.]]“}，{”key“：”e_1_3_2_1_25_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/64208.642075”}，“key”：“e_1_ 3_2_1_2 _26_1”，“series-title”：“LNCS”，“doi-assert-by”：“crossref”，”首页“：”223“，”doi“：”10.1007\/3-540-45657-0_17“，”卷标题“：”计算机辅助验证：第14届国际会议，CAV”，“作者”：“Younes H.L.S.”，“年份”：“2002年”，“非结构化”：“H.L.S Younes和R.G.Simmons。使用验收抽样对离散事件系统进行概率验证。编辑E.Brinksma和K.G.Larsen，《计算机辅助验证：第14届国际会议》，CAV，LNCS第2404卷，第223-235页，柏林，2002年。施普林格。]]H.L.S.Younes和R.G.Simmons。使用验收抽样对离散事件系统进行概率验证。编辑E.Brinksma和K.G.Larsen，《计算机辅助验证：第14届国际会议》，CAV，LNCS第2404卷，第223-235页，柏林，2002年。施普林格。]]}，{“volume-title”：“IEEE”，“year”：“2003”，“author”：“Zimmermann A.”，“key”：“e_1_3_2_1_27_1”，《unstructured》：“A.Zimmerann和G.Hommel。基于模型的实时系统设计中的列车控制系统案例研究。国际并行和分布式处理研讨会，第118b页。IEEE，2003年。]A.Zimermann和G。侯麦。基于模型的实时系统设计中的列车控制系统案例研究。在国际并行和分布式处理研讨会上，第118b页。IEEE，2003.]]“}]”，“event”：{“name”：“WOSP05:软件与性能研讨会2005”，“赞助商”：[“SIGMETRICS ACM度量与评估特别兴趣小组”，“SIGSOFT ACM软件工程特别兴趣小组“]，“location”：“Palma，Illes Balears Spain”，“缩写词”：“WOSP05”}，“container-title”：[”第五届软件与性能国际研讨会论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1071021.1071023”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,1,9]]，“date-time”：”2023-01-09T20:05:002Z“，”timestamp“：1673294702000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1071021.1071023”}}，“subtitle”：[“火车无线电通信的比较可靠性分析”]，“short title”：[]，“issued”：{“date-parts”：[[2005,7,12]}，‘references-count’：25，‘alternative-id’：[“10.1145\/1071071021.1023”，“10.1145”1021“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/107102.1071023“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2005,7,12]]}，“断言”：[{”值“：”2005-07-12“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}]}}