×

兹马思-数学第一资源

时间系统的形式化建模与分析。2012年9月18日至20日,英国伦敦,2012年格式第十届国际会议。诉讼程序。(英语) Zbl 1251.68022
计算机科学讲义7595柏林:斯普林格出版社(ISBN 978-3-642-33364-4/pbk)。x、 267页。(2012年)。

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

本卷的文章将单独审查。上一次会议见[Zbl 1223.68006].
索引文章:
阿克谢,S。;Hélouët,Loïc;贾德,克劳德;石灰,迪迪埃;鲁克斯,奥利弗H。,结构约束下时间Petri网的鲁棒性,11-26[Zbl 1374.68316]
细辛醇,尤金;巴塞特,尼古拉斯;Béal,玛丽·皮埃尔;德戈雷,阿尔德里克;佩林,多米尼克,关于信道编码的定时理论,27-42[兹布1374.68250]
伯特兰,纳撒利;舍维,斯文,在随机延迟的时间自动机上玩得最好,43-58[Zbl 1374.68252]
卡特,丽贝卡;纳瓦罗-洛佩斯,伊娃·M。,动态驱动时间自动机抽象证明连续系统的活性,59-74[Zbl 1375.68072]
奇尔顿,克里斯;奎亚特科夫斯卡,玛尔塔;王,徐,重温时间规范理论:线性时间视角,75-90[兹布1374.68274]
达尔斯加德,安德烈亚斯E。;拉尔曼,阿尔芬斯;拉森,金G。;奥列森,马德斯克瑞。;范德波尔,雅科,时间自动机的多核可达性,91-106[兹布1374.68277]
迪米特罗娃,雷娜;芬克贝纳,伯纳德,反例引导观察谓词合成,107-122[Zbl 1374.68083]
艾伦,克里斯蒂安;格温,塞巴斯蒂安;马丁,弗兰兹,概率混合系统统计模型检验的置信界,123-138[兹布1374.68279]
哈米德,加塞米耶;伦克,安妮;哈弗科特,布德维金;格里波多,马可,基于区域的混合Petri网单次通用转换分析,139-154[Zbl 1374.68329]
赫雷拉,克里斯蒂安;威斯特法尔,伯纳德;费奥阿雷尼斯,塞尔吉奥;穆尼兹,马可;波德尔斯基,安德烈亚斯,减少时间自动机网络中的准等时钟,155-170[6813ZB74]
金德曼,罗兰;朱蒂拉,汤米;尼美拉,伊尔卡,基于SMT的定时系统诱导方法,171-187[Zbl 1374.68293]
穆尼兹,马可;威斯特法尔,伯纳德;波德尔斯基,安德烈亚斯,具有不相交活动的时间自动机,188-203[Zbl 1374.68263]
彼得,汉斯-约格;芬克贝纳,伯纳德部分可观测定时控制有界综合的复杂性,204-219[Zbl 1375.68035]
里纳斯特,乔纳斯;舒普,西比尔,基于同步矩阵和两个数据变量启发式算法的UPPAAL网络中Zeno运行的静态检测,220-235[兹布1374.68298]
斯坦纳,阿梅莉,遗忘时间自动机的频率,236-251[Zbl 1375.68074]
韦勒,马丁;库普费希米德,塞巴斯蒂安,Mcta:时间系统的启发式和搜索,252-266[Zbl 1374.68303]

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