阿恩·哈特曼斯;Joost-Pieter卡托恩;科伦,布拉姆;拼写,Jip 在概率时间自动机中调整概率。 (英语) Zbl 1491.68098号 阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).MSC公司:65年第68季度 第68季度第60季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Hartmanns}等人,莱克特。注释计算。科学。12846,39-58(2021;Zbl 1491.68098) 全文: 内政部
阿波法兹·拉瓦伊;马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) Zbl 07300872号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020;Zbl 07300872) 全文: 内政部
纳塔利·考奇;亚历山德罗·阿巴特 海报摘要:StocHy–随机过程的自动验证和合成。 (英语) Zbl 07120162号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。258-259 (2019).MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}和\textit{A.Abate},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。258-259(2019;Zbl 07120162) 全文: 内政部
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 (英语) Zbl 1291.68265号 形式方法系统。设计。 43,第2期,164-190(2013).MSC公司:第68季度第60季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,《形式方法系统》。设计。43,第2号,164--190(2013;Zbl 1291.68265) 全文: 内政部 链接
阿诺德·菲埃茨克;霍尔格·赫尔曼斯;克里斯托夫·韦登巴赫 基于叠加的一阶概率时间自动机分析。 (英语) Zbl 1306.68095号 Fermüller,Christian G.(编辑)等人,《编程逻辑、人工智能和推理》。第17届国际会议,LPAR-17,印尼日惹,2010年10月10-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-16241-1/pbk)。计算机科学课堂讲稿6397302-316(2010)。MSC公司:65年第68季度 03B35型 05年3月 第68季度第60季度 87年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}等人,Lect。注释计算。科学。6397302-316(2010年;Zbl 1306.68095) 全文: 内政部
鲁道夫·戈麦斯 将带有截止日期的时间自动机合成为Uppaal时间自动机。 (英语) Zbl 1262.68091号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813179-194(2009)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez},莱克特。注释计算。科学。5813179-194(2009年;兹比尔1262.68091) 全文: 内政部
罗兰·梅耶;约翰·费伯;Jochen Hoenicke公司;安德烈·雷巴尔琴科 模型检查持续时间演算:一种实用方法。 (英语) Zbl 1151.68487号 正式Asp。计算。 20,编号4-5,481-505(2008).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人,正式Asp。计算。20,编号4--5,481--505(2008;Zbl 1151.68487) 全文: 内政部
米哈伊尔·伯纳德斯基;Raman Sharykin女士;拉杰夫·阿鲁尔 并发随机混合系统的结构化建模。 (英语) Zbl 1109.68510号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253,309-324(2004)。MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernadsky}等人,Lect。注释计算。科学。3253、309--324(2004;Zbl 1109.68510) 全文: 内政部