×

兹马思-数学第一资源

时间系统的形式化建模与分析。2011年9月21-23日,丹麦奥尔堡,第9届国际会议,格式2011。诉讼程序。(英语) Zbl 1223.68006
计算机科学讲义6919柏林:斯普林格出版社(ISBN 978-3-642-24309-7/pbk)。十一,353页。(2011年)。

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

本卷的文章将单独审查。上一次会议见[Zbl 1195.68001].
索引文章:
肯普夫,让·弗朗索瓦;波兹加,马吕斯;马勒,奥德,概率环境下调度器的性能评估,1-17[Zbl 1348.68023]
陈韬略;狄乔拉,马可;奎亚特科夫斯卡,玛尔塔;梅雷克雷,亚历山德罗,CTMC与实时规范的时间限制验证,26-42[Zbl 1348.68126号]
塞伦,巴特;盖伦,马克;沃顿,杰伦,性能模型检查场景感知数据流,43-59[Zbl 1348.68151号]
卢西恩,本蒂亚;厄尔维茨基,彼得·克萨巴,概率实时重写理论及其表达能力,60-79[Zbl 1348.68080]
大卫,亚历山大;拉森,金G。;勒盖,阿克塞尔;米库奇奥尼斯,马吕斯;鲍尔森,丹尼·博格斯特德;范弗利特,乔纳斯;王,郑,定价时间自动机网络的统计模型检验,80-96[Zbl 1348.68130号]
布耶,帕特里夏;马基,尼古拉斯;奥坎桑库尔,通过泵入通道机器对时间自动机的鲁棒模型检查,97-112[Zbl 1348.68122号]
巴塞特,尼古拉斯;细辛,尤金,薄和厚时间规则语言,113-128[Zbl 1348.68091]
拉森,金G。;勒盖,阿克塞尔;特拉诺努埃兹,路易·玛丽;Wąsowski和Andrzej,实时组件的健壮规范,129-144[Zbl 1348.68143]
查特吉,克莉什南杜;马朱姆达尔,鲁帕克,欧米茄规则目标的最小注意控制器综合,145-159[Zbl 1348.68096]
奎塞尔,简大卫;马丁,弗兰兹勒;该死,沃纳,穿越类似游戏之间的桥梁,160-176[Zbl 1348.68147]
巴德班,巴哈雷;兰格,马丁,带SMT解算器的时间自动机精确增量分析,177-192[Zbl 1348.68118号]
吉勒茨,吉尔;拉斯金,让·弗朗索瓦;斯纳杰德,娜塔莉,事件时钟自动机:从理论到实践,209-224[Zbl 1348.68102号]
基尼,迪利普·拉古纳特;克里希纳,香卡拉·纳拉亚南;潘迪亚,帕里托什K。,关于使用时间投影为\(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\)构造安全信号自动机,225-239[Zbl 1348.68106]
库普费希米德,斯特凡;贝克,伯纳德,非线性约束下的克雷格插值,240-255[Zbl 1348.68141]
阿卜杜拉,帕罗什·阿齐兹;德尔扎诺,乔治;雷辛,奥特曼;桑尼尔,阿诺;特拉沃,里卡多,关于定时adhoc网络的验证,256-270[Zbl 1348.68115号]
哲特库利奇托马什;拉斯坎,斯特凡,混合系统简洁抽象的增量计算,271-285[Zbl 1348.68133]
米特罗欣、科瑞娜;波德尔斯基,安德烈亚斯,混合系统的稳定性证明,286-300[Zbl 1348.68107]
施耐德,斯文;威斯康星州内斯特曼离散化,使用316-301混合系统的严格计算[Zbl 1348.68109]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68季度 计算理论
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部