×
埃蒂安·安德烈（编辑）;玛丽·斯托琳加（编辑）

时间系统的形式化建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。 （英语） Zbl 1428.68004号

计算机科学课堂讲稿11750.查姆：施普林格（ISBN 978-3-030-29661-2/pbk；978-3-0030-29662-9/电子书）。十六、301页。(2019).

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

本卷的文章将单独进行审查。有关上一次会议，请参阅[兹比尔1396.68015].
索引文章：
Masaki Waga，半环值加权自动机在线定量时间模式匹配，3-22[兹比尔1434.68695]
马哈茂德·塞勒姆；冈萨罗卡瓦哈尔；刘彤；塞巴斯蒂安·费施迈斯特，评估实时系统到达曲线模型的稳健性，23-40[Zbl 1434.68057号]
Massoud，康复中心；Le，Hoang M。；罗尔夫·德雷克斯勒，用于基于时间打印的跟踪和监视的属性驱动时间戳编码，41-58[Zbl 1434.68056号]
托马斯·费雷尔；马勒，奥德；德扬·尼契科维奇，混合时间信号时序逻辑，59-75[Zbl 1434.68298号]
埃里克·卢巴特；Dal Zilio，Silvano；Didier Le Botlan；扬尼克·彭科尔；奥迪·苏比亚斯，用于计算时间Petri网语言交集的状态类构造，79-95[Zbl 1434.68331号]
安妮·布伊拉德，使用网络演算的循环网络的稳定性和性能界限，96-113[Zbl 1434.68038号]
孔慧；埃齐奥·巴托西；姜瑜；托马斯·亨辛格（Thomas A.Henzinger）。，不确定非线性混合系统的分段鲁棒屏障管，123-141[Zbl 1441.93133号]
Syifa’ul Mufid，穆罕默德；阿兹基亚（Adzkiya）、迪基（Dieky）；亚历山德罗·阿巴特，通过谓词抽象对max-plus线性系统进行有界模型检查，142-159[Zbl 1434.68302号]
Tran，Hoang-Dung；阮、滦越；纳撒尼尔·汉密尔顿；项伟明；泰勒·T·约翰逊。，高指数线性微分代数方程的可达性分析，160-177[Zbl 1441.93021号]
阿姆诺·罗森曼，时间自动机的时间戳，181-198[Zbl 1434.68286号]
阿姆诺·罗森曼，关于时间自动机之间的距离，199-215[Zbl 1434.68287号]
马丁·塔普勒；Aichernig，Bernhard K。；Larsen，Kim Guldstrand；弗洛里安·洛伯，学习时间-从测试中学习时间自动机，216-235[Zbl 1434.68212号]
钟彬卓；马吉德·扎马尼；马可·卡卡莫，随机网络物理系统的沙盒控制器，247-264[Zbl 1441.93298号]
安德烈亚·马林；卡拉广场；萨宾娜·罗西，比例块度，265-281[Zbl 1434.68055号]
Guha，Shibashis；阿舒托什·特里维迪，预期可达性-价格游戏，282-300[Zbl 1434.68253号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

引文：

Zbl 1396.68015号
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（编辑）和textit{M.Stoelinga}（主编），时间系统的形式化建模和分析。2019年8月27日至29日，第17届国际会议，FORMATS 2019，荷兰阿姆斯特丹。诉讼程序。查姆：施普林格（2019；Zbl 1428.68004）
全文： 内政部