×

找到144个文档(结果1-100)

凸晶格方程组。 (英语) Zbl 1528.68206号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实值信号概率超特性的统计模型检验。 (英语) Zbl 1514.68115号

Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13255, 61-78 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过抽象依赖图验证多人随机游戏。 (英语) Zbl 07496651号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12561, 249-268 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展时间自动机的紧急部分降阶。 (英语) Zbl 1517.68259号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12302, 179-195 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有分支时间获胜条件的多权重博弈的综合。 (英语) Zbl 1503.68182号

Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时I/O自动机的随机细化检查。 (英语) Zbl 1502.68184号

Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12153, 70-88 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象依赖图及其在模型检查中的应用。 (英语) Zbl 1527.68127号

Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 316-333 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不确定性下加权Kripke结构的验证。 (英语) Zbl 1514.68116号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 71-86 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

当时间紧迫时开始修剪:定时系统的部分订单减少。 (英语) Zbl 1511.68180号

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 527-546 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查实时系统。 (英语) Zbl 1392.68235号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

半马尔可夫过程的时间比较。 (英语) Zbl 1504.68112号

Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10792, 271-283 (2018).
PDF格式BibTeX公司 XML格式引用

随机LTL模型检查的记忆效率策略。 (英语) Zbl 1403.68128号

Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,VSTTE 2017。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-72307-5/pbk;978-3-3169-72308-2/电子书)。计算机科学讲义10712152-169(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展依赖关系图和高效的分布式定点计算。 (英语) Zbl 1393.68098号

van der Aalst,Wil(编辑)等人,《Petri网和并发的应用和理论》。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI NETS 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-57860-6/pbk;978-3-3169-57861-3/电子书)。计算机科学讲义10258139-158(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号

Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).
PDF格式BibTeX公司 XML格式引用

实时程序跟踪抽象的改进。 (英语) Zbl 1478.68052号

Hague,Matthew(编辑)等人,《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10506, 42-58 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查的符号依赖关系图。 (英语) Zbl 1494.68170号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10419, 153-169 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PTrie:通过前缀共享压缩和存储集合的数据结构。 (英语) Zbl 1444.68063号

Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10580, 248-265 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

依赖图上不动点的分布式计算。 (英语) Zbl 1393.68099号

Fränzle,Martin(编辑)等人,《可靠软件工程:理论、工具和应用》。2016年11月9日至11日,第二届国际研讨会,SETTA 2016,中国北京。诉讼程序。查姆:施普林格(ISBN 978-3-319-47676-6/pbk;978-3-3169-47677-3/电子书)。计算机科学讲座笔记9984,197-212(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时间自动机建模攻击防御树。 (英语) Zbl 1433.68251号

Fränzle,Martin(编辑)等人,《定时系统的形式化建模和分析》。第14届国际会议,FORMATS 2016,加拿大魁北克,QC,2016年8月24日至26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9884, 35-50 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

基于离散化的时弧Petri网博弈实时策略综合。 (英语) Zbl 1354.68196号

博什纳奇·德拉甘(编辑)等人,《模型检查软件》。2016年4月7日至8日,第23届国际研讨会,SPIN 2016,与ETAPS 2016合办,荷兰埃因霍温。诉讼程序。查姆:施普林格(ISBN 978-3-319-32581-1/pbk;978-3-3169-32582-8/电子书)。计算机科学讲座笔记9641129-146(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于自动机的跟踪分区抽象解释的方法。 (英语) Zbl 1474.68059号

Probst,Christian W.(编辑)等人,《语义学、逻辑学和微积分》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际,为他们撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9560, 88-110 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权系统的参数验证。 (英语) Zbl 1429.68140号

André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 77-90 (2015).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号

Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68277号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 349-367 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 260-277 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于半马尔可夫链的总变差距离。 (英语) Zbl 1459.68116号

Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 185-199 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

验证、模型检查和抽象解释。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。 (英语) Zbl 1303.68013号

计算机科学课堂讲稿8931.柏林:施普林格出版社(ISBN 978-3-662-46080-1/pbk)。十八、467页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间模态逻辑的充分性和完全公理化。 (英语) Zbl 1337.03028号

Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308183-210,仅电子版(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以最低的预期成本按时完成! (英语) Zbl 1448.68294号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 129-145 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计时游戏策略的验证和性能评估。 (英语) 兹比尔1448.68293

Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为抽象概率自动机而结结巴巴。 (英语) Zbl 1437.68094号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 149-163 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

定量模态转换系统(特邀扩展摘要)。 (英语) Zbl 1394.68254号

Martí-Oliet,Narciso(编辑)等人,代数开发技术的最新趋势。第21届国际研讨会,2012年WADT,西班牙萨拉曼卡,2012年6月7日至10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-37634-4/pbk)。计算机科学课堂讲稿7841,50-58(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于LTL范式与Büchi自动机之间的关系。 (英语) Zbl 1390.68435号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,256-270(2013)。
PDF格式BibTeX公司 XML格式引用

时间自动机的多核可达性。 (英语) Zbl 1374.68277号

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿759591-106(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有最小观测功率的控制器(应用于定时系统)。 (英语) Zbl 1374.68255号

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561223-237(2012)。
PDF格式BibTeX公司 XML格式引用

基于监视器的加权度量时间逻辑的统计模型检查。 (英语) Zbl 1352.68147号

Björner,Nikolaj(编辑)等人,《编程逻辑、人工智能和推理》。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180168-182(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有持续时间的双价格模式转换系统。 (英语) Zbl 1352.68144号

Björner,Nikolaj(编辑)等人,《编程逻辑、人工智能和推理》。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180122-137(2012)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时规格的新结果。 (英语) Zbl 1312.68129号

Mossakowski,Till(编辑)等人,代数发展技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137175-192(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参数模态转换系统。 (英语) Zbl 1348.68120号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,275-289(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时组件的稳健规范。 (英语) Zbl 1348.68143号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,129-144(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定价时间自动机网络的统计模型检验。 (英语) Zbl 1348.68130号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,80-96(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机总是可以实现的。 (英语) Zbl 1343.68134号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权模态转换系统的定量精化。 (英语) Zbl 1343.68150号

Murlak,Filip(编辑)等人,《2011年计算机科学的数学基础》。2011年8月22日至26日,波兰华沙,第36届国际研讨会,MFCS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22992-3/pbk)。计算机科学课堂讲稿6907,60-71(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象概率自动机。 (英语) Zbl 1317.68095号

Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,324-339(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间I/O自动机:实时系统的完整规范理论。 (英语) Zbl 1361.68143号

2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-60558-955-8)。91-100 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

能量约束下具有观测器的时间自动机。 (英语) Zbl 1361.68135号

2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。61-70 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用定时I/O自动机的实时系统规范的方法。 (英语) Zbl 1312.68131号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17070-6/pbk)。计算机科学讲义6286290-310(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

时间自动机的符号和合成可达性。 (英语) Zbl 1285.68096号

Kučera,Antonín(编辑)等人,《可达性问题》。2010年8月28日至29日,第四届国际研讨会,RP 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15348-8/pbk)。计算机科学讲座笔记622724-28(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组成和定量模型检查(扩展摘要)。 (英语) Zbl 1274.68196号

Pnueli,Amir(编辑)等人,《系统信息学的观点》。2009年6月15日至19日,俄罗斯新西伯利亚,第七届安德烈·埃尔肖夫国际纪念大会,PSI 2009。修订论文。柏林:施普林格出版社(ISBN 978-3-642-11485-4/pbk)。计算机科学课堂讲稿594735-42(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时系统的验证、性能分析和控制器综合。 (英语) Zbl 1274.68185号

Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿596134-61(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

EXPTIME——模态和混合规范的完整决策问题。 (英语) Zbl 1291.68172号

Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,19-33页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定价时间自动机:理论和工具。 (英语) Zbl 1248.68335号

Kannan,Ravi(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学会议录4,417-425,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于检查交替计时模拟的高效实时算法。 (英语) Zbl 1262.68105号

Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,73-87(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

完成EXPTIME-检查模态转换系统的彻底细化。 (英语) Zbl 1250.68117号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会,马来西亚吉隆坡,2009年8月16日至20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03465-7/pbk)。计算机科学讲座笔记5684112-126(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查原则。金·古德斯特兰·拉森(Kim Guldstrand Larsen)的前言。 (英语) Zbl 1179.68076号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-02649-9/hbk)。十七、975页。(2008).
PDF格式BibTeX公司 XML格式引用

混合和模态规范的决策问题的复杂性。 (英语) Zbl 1139.68035号

Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962112-126(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过Russian Doll抽象快速定向模型检查。 (英语) Zbl 1134.68412号

Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日,作为欧洲软件理论和实践联合会议的一部分,第14届国际会议,TACAS 2008,在匈牙利布达佩斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963203-217(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机的自动抽象精化。 (英语) Zbl 1141.68431号

Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763114-129(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无功系统。建模、规范和验证。 (英语) Zbl 1141.68043号

剑桥:剑桥大学出版社(ISBN 978-0-521-87546-2/hbk)。十六、284页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查一个时钟定价的时间自动机。 (英语) Zbl 1149.68400号

Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423108-122(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用DBM减法对具有优先级的时间自动机进行模型检查。 (英语) Zbl 1141.68462号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学讲义4202128-142(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在一个时钟定价的计时游戏中,几乎是最佳策略。 (英语) Zbl 1177.68142号

Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,345-356(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用综合优化策略高超声速. (英语) Zbl 1272.68228号

de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》119,第1期,11-31页(2005年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

超越活性:针对有时间限制活性的有效参数合成。 (英语) Zbl 1175.68255号

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

用于分析计时游戏的高效实时算法。 (英语) Zbl 1134.68382号

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,66-80(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Uppaal在线测试实时系统。 (英语) Zbl 1081.68574号

Grabowski,Jens(编辑)等人,软件测试的形式化方法。2004年9月21日,第四届国际研讨会,《命运2004》,奥地利林茨。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25109-X/pbk)。计算机科学讲座笔记3395,79-94(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应式同步程序转换的色盲规范。 (英语) Zbl 1119.68345号

Cerioli,Maura(编辑),软件工程的基本方法。第八届国际会议,FASE 2005,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2005,英国爱丁堡,2005年4月4日至8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25420-X/pbk)。计算机科学课堂讲稿3442160-174(2005)。
MSC公司:68号30 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用Uppaal生成时间最优的实时测试用例。 (英语) Zbl 1185.68248号

Petrenko,Alexandre(编辑)等人,软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会,FATES 2003。修订论文。柏林:施普林格出版社(ISBN 3-540-20894-1/pbk)。莱克特。注释计算。科学。2931, 114-130 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机基于区域抽象的上下限。 (英语) Zbl 1126.68453号

Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988312-326(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UPPAAL教程。 (英语) Zbl 1105.68350号

Bernardo,Marco(编辑)等人,实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校,SFM-RT 2004,意大利贝蒂诺罗,2004年9月13日至18日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-23068-8/pbk)。计算机科学课堂讲稿3185200-236(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

向Uppaal添加对称减少。 (英语) 兹比尔1099.68657

Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。计算机科学课堂讲稿2791,46-59(2004)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段