×

兹马思-数学第一资源

2002年TPTS。2002年4月6日至7日,法国格勒诺布尔,第一届定时系统理论与实践研讨会论文集(2002年ETAPS卫星事件)。(英语) Zbl 1267.68020
理论计算机科学中的电子笔记65号,6号。阿姆斯特丹:爱思唯尔。276页,仅电子版(2002年)。

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

本卷的文章将单独审查。
索引文章:
布切内布。;贝瑟洛,G。,ITCPN状态空间的收缩,1-15[兹布1270.68163]
博伊尔,马克,从时间Petri网的转换,从转换的间隔到地点的间隔(紧急),16-46[兹布1270.68205]
波兹加,马吕斯;侯建民;马勒,奥德;尤文塞尔吉奥,使用时间自动机验证异步电路,47-59[兹布1270.68164]
布拉伯曼,维克托;庞博,卡洛斯·洛佩斯;奥利弗罗,阿尔弗雷多,关于改进时间自动机的向后验证(扩展摘要),60-67[兹布1270.68146]
埃尔蒙,杰罗姆;博尼奥尔,弗里德里克,TPAP:用于验证具有共享资源的实时系统的抢占进程代数,68-85[兹布1270.68212]
加比、纳威尔;奥瓦拉伦,马利卡应用广义随机Petri网对再审排队系统的性能分析,86-100[Zbl 1270.68051]
盖列夫,迪米塔P。;Van Hung,Dang公司,持续时间演算中的前缀和状态投影,101-119[兹布1270.68169]
亨德里克斯,马蒂恩;拉森,金G。,实时模型检查的精确加速度,120-139[兹布1270.68170]
宝安,雄;高春豪用有色时间Petri网的时间记忆调度实现实时嵌入式软件的形式化综合,140-159[1276800升]
卢卡斯,菲利普,基于时间自动机的消息序列图的时间语义,160-179[兹布1270.68156]
默瑟,埃里克G。;迈尔斯,克里斯J。;延田,友弘;郑浩,LPN上使用偏序的定时电路的模块综合,180-201[兹布1270.68217]
莫勒,奥利弗先生,停车可以让你更快到达那里:模型扩充以加速实时模型检查,202-217[Zbl 1270.68173]
莫勒,奥利弗先生;哈拉尔德街;索里亚,玛丽亚,稠密实时系统的谓词抽象,218-237[兹布1270.68174]
穆拉,阿纳尔多五世。;平托,吉尔赫米A。《时间自动机的类与普遍性的不可判定性》,238-253[兹布1270.68148]
潘迪亚,帕里托什K。,间隔时间逻辑:表达性和可判定性,254-272[兹布1270.68175]
理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 链接