×

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

时间自动机的分区验证:外推、模拟和下一步? (英语) Zbl 07643426号

Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

下推时间自动机可达性的快速区域算法。 (英语) Zbl 1493.68181号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 619-642 (2021).
PDF格式BibTeX公司 XML格式引用

重温多下推系统的近似可达性。 (英语) Zbl 1507.68080号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 387-404 (2020).
PDF格式BibTeX公司 XML格式引用

对角线约束下时间自动机的可达性。 (英语) Zbl 1520.68057号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第28条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用

面向一种高效的基于树自动机的定时系统技术。 (英语) Zbl 1442.68123号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第39条,第15页(2017)。
PDF格式BibTeX公司 XML格式引用

使用树自动机分析定时系统。 (英语) Zbl 1392.68212号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第27条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段