×

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

修复实时需求。 (英语) Zbl 1522.68338号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 371-387 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定量图形游戏中的可容许性。 (英语) Zbl 1394.91058号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学学报65,第42条,第14页。(2016).
PDF格式BibTeX公司 XML格式引用

反应合成的非零和对策。 (英语) 兹比尔1435.68147

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 3-23 (2016).
PDF格式BibTeX公司 XML格式引用

时间自动机中的鲁棒性。 (英语) Zbl 1407.68282号

Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:斯普林格。莱克特。注释计算。科学。8169, 1-18 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1367.68161号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392128-140(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

缩小时间自动机。 (英语) Zbl 1246.68159号

Chakraborthy,Supraik(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2011),印度孟买,2011年12月12-14日。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,90-102,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段