×

计算理论方面——2019年ICTAC。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。 (英语) Zbl 1425.68012号

计算机科学课堂讲稿11884.查姆:施普林格(ISBN 978-3-030-32504-6/pbk;978-3-0030-32505-3/ebook)。xi,第411页。(2019).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。关于前面的座谈会,请参阅[Zbl 1398.68027号].
索引文章:
帕特里克·库索,通过抽象解释进行常规模型检查器的计算设计,3-21[Zbl 07142666号]
多米尼克·梅里,通过构建分布式算法进行验证,22-38[Zbl 07142667号]
夏尔马,阿尔皮特,非确定性随机系统等价的线性时间分支时间谱,41-58[Zbl 1464.68262号]
乌里·法伦贝格(Uli Fahrenberg);Legay,Axel;卡琳·夸斯,使用定量游戏计算分支距离,59-75[Zbl 1464.68238号]
法塔赫·拉德勒支;阿卜杜勒卡德·穆贾里(Abdelkader Moudjari);Talbi、Hichem公司,使用双图形反应系统的临床路径正式建模,76-90[Zbl 07142670号]
西基,Hiroyuki;吉村,Reo;Yoshiaki高田,加权寄存器自动机的最优运行问题,91-110[Zbl 1464.68184号]
埃蒂安·安德烈;杰雷,贾维尔;萨哈尔·姆希里,Time4sys2imi:一种形式化不确定性下实时系统模型的工具,113-123[Zbl 07142672号]
莫伊斯·克里钦,使用自动机确定技术测试实时系统,124-133[Zbl 07142673号]
阿曼,博格丹;加布里埃尔·乔巴努,验证迁移和通信超时的多代理系统,134-151[Zbl 07142674号]
弗兰蒂舍克·布拉胡德克;少校,朱拉吉;斯特雷切克,简,LTL到较小的自循环交替自动机和背面,152-171[Zbl 07142675号]
哈明,贾法尔,无饥饿监控器,175-195年[Zbl 07142676号]
Peters,Kirstin;克里斯托夫·瓦格纳(Christoph Wagner);乌韦·内斯特曼,为使用多方会话类型进行验证而驯服并发性,196-215[Zbl 07142677号]
萨米尔·乌沙尼,面向SysML活动图的基于调用行为的组合验证框架,216-234[Zbl 07142678号]
牟晓英;陈海明;李叶婷,具有交错的确定性正则表达式的上下文无关语法,235-252[Zbl 07142679号]
文森佐·阿塞里;奥利亚罗、马蒂娜;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼,用于JavaScript程序字符串分析的抽象域的完整性,255-272[Zbl 07142680号]
Nguyen,Huu-Vu;泰瑟·图利,BCARET模型检查恶意软件检测,273-291[Zbl 07142681号]
马尔瓦·查伊布;科西纳、米尔科;Yousfi,Souheib;帕斯卡·拉福卡德;Riadh罗巴纳,DABSTERS:一个用于许可区块链的隐私保护电子投票协议,292-312[Zbl 07142682号]
丹尼尔·戈拉(Daniele Gorla);费德里卡·格拉内塞;卡图西亚帕拉米德斯,连续时间扩散网络中隐私和实用性的增强模型,313-331[Zbl 07142683号]
泽维尔·蒂里奥;亚历克西斯·马法特,泰勒系列重温,335-352[Zbl 07142684号]
Haeri、Seyed Hossein;保罗·凯尔,解决中的表达式问题C类\(++\),ála LMS,353-371[Zbl 07142685号]
哈梅尔·内斯特拉,一元错误处理法则,372-391[Zbl 07142686号]
马丁·苏尔兹曼(Martin Sulzmann);卢,肯尼·卓明,重温正则方程的求解,392-409[Zbl 07142687号]

MSC公司:

68-06 与计算机科学有关的论文集、会议、文集等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部