×

时间系统的形式化建模和分析。第八届国际会议,FORMATS 2010,奥地利克洛斯特内堡,2010年9月8-10日。诉讼程序。 (英语) Zbl 1195.68001号

计算机科学课堂讲稿6246.柏林:施普林格出版社(ISBN 978-3-642-15296-2/pbk)。x、 第257页。(2010).

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

本卷的文章将单独进行审查。上一次会议已经过审查(参见Zbl 1176.68014号).
索引文章:
巴巴拉·迪·詹保罗;吉勒·杰拉尔茨(Gilles Geerraerts);Jean-François拉斯金;纳塔利·斯兹纳杰德,定时规范的非安全程序,2-22[Zbl 1290.68070号]
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克,用时间和概率验证软件的框架,25-45[Zbl 1290.68035号]
van Beek,D.A。;Cuijpers,P.J.L。;马可夫斯基,J。;Nadales Agut,D.E。;罗达,J.E。,在混合合成环境中协调紧迫性和可变抽象,47-61[Zbl 1290.68084号]
Patricia Bouyer;罗曼·布伦吉尔(Romain Brenguier);尼古拉斯·马基,通过基于回合的有限对策计算两层时间对策中的均衡,62-76[Zbl 1290.91012号]
科顿,斯科特,自然域SMT:初步评估,77-91[Zbl 1290.68112号]
亚历山大·唐泽(Alexandre Donzé);奥德·马勒,时间逻辑对实值信号的鲁棒满足,92-106[Zbl 1290.68071号]
埃勒斯,吕迪格;罗伯特·马特米勒(Robert Mattmüller);汉斯·约格·彼得,组合符号表示法求解计时游戏,107-121[Zbl 1290.68072号]
Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪,预计可达时间游戏,122-136[Zbl 1290.68073号]
格拉比奇,巴托什;路易斯·马里·特劳努埃兹(Louis-Marie Traonouez);克劳德·贾德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。,使用参数时间Petri网展开进行诊断,137-151[Zbl 1290.68094号]
尼科维奇,德扬;尼尔·皮特曼,来自mtl公司到确定性时间自动机,152-167[Zbl 1290.68077号]
帕里托什·K·潘迪亚。;西莫尼·沙阿。,定时正则语言中的无歧义性:自动机和逻辑,168-182[Zbl 1290.68079号]
安娜·菲利普;Lee,Insup;奥列格·索科尔斯基(Oleg Sokolsky);Choi,Jin-Young先生,资源需求和供应建模的过程代数框架,183-197[兹比尔1290.68031]
杰森·奥尔蒂斯(Jerson Ortiz),詹姆斯(James);Legay,Axel;皮埃尔·伊夫·肖本斯,内存事件时钟,198-212[Zbl 1290.68075号]
杰里米·斯普洛斯顿;安吉洛·特洛伊娜,概率时间自动机的模拟和互模拟,213-227[Zbl 1290.68081号]
Olderog,Ernst-Rüdiger;马尼省斯瓦米纳坦,时间自动机的分层合成,228-242[Zbl 1290.68078号]
萨布丽娜·冯·斯特普;亨利克·博恩坎普(Henrik Bohnenkamp);朱利安·施马耳茨,符号时间自动机的一致性测试关系,243-255[Zbl 1290.68085号]

MSC公司:

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