×

找到11个文档(结果1-11)

从模型检查到模型测量。 (英语) 兹比尔1390.68428

D’Argenio,Pedro R.(编辑)等人,CONCUR 2013——并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052,273-287(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在计时游戏中,用无限的内存换取均匀的随机性。 (英语) 兹比尔1143.68479

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿498187-100(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

战略逻辑。 (英语) Zbl 1151.03327号

Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,59-73(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机拉宾和斯特雷特博弈的策略改进。 (英语) Zbl 1151.68474号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,375-389(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量化定时系统之间的相似性。 (英语) Zbl 1175.68281号

Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829226-241(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计时游戏中的惊喜元素。 (英语) 兹比尔1262.68141

Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 144-158 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

矩形混合系统的符号模型检查。 (英语) 兹伯利0960.68117

Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 142-156 (2000).
PDF格式BibTeX公司 XML格式引用

一种用于实时模型检查的空效实时算法。 (英语) Zbl 1514.68168号

Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时钟的表现力。 (英语) Zbl 1412.68131号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件