默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

6.格式2008：法国圣马洛

>主页 >会议和研讨会 >格式

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/2008
弗兰克·卡塞兹,克劳德·贾德:
《时间系统的形式化建模与分析》，第六届国际会议，FORMATS 2008，法国圣马洛，2008年9月15日至17日。诉讼程序。计算机科学课堂讲稿5215,施普林格 2008，国际标准图书编号978-3-540-85777-8

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/OuaknineW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/OuaknineW08
乔尔·瓦克宁,詹姆斯·沃雷尔:
度量时态逻辑的一些最新结果。 1-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/Benveniste08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/Benveniste08网站
阿尔伯特·本文尼斯特:
在开放世界中组合Web服务：服务质量问题。 14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/Srba08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/Srba08
吉尔·斯尔巴:
比较时间自动机和Petri网时间扩展的表达能力。 15-32

时间自动机和语义学的扩展

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BouyerFLMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BouyerFLMS08
帕特里夏·鲍耶,乌尔里希·法伦伯格,金·古德斯特兰·拉森,尼古拉斯·马基,吉尔·斯尔巴:
能量约束下加权时间自动机的无限运行。 33-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/JurdzinskiT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/JurdzinskiT08
马金·尤金斯基（Marcin Jurdzinski）,阿什图什·特里维迪:
秘密定价定时自动机。 48-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BouyerBJLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BouyerBJLR08
帕特里夏·鲍耶,托马斯·布里海耶,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,米查尔·鲁特考夫斯基:
强重置混合自动机上的平均价格和可达性价格博弈。 63-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/SumanPKM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/SumanPKM08
P.维杰·苏曼,帕里托什·K·潘迪亚,桑卡拉·纳拉亚南·克里希纳,拉克希米·马纳萨:
带整数重置的时间自动机：语言包容性和表达性。 78-92

定时游戏和逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/Rabinovich08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/Rabinovich08
亚历山大·拉宾诺维奇:
具有计数和普努利模态的度量时间逻辑的复杂性。 93-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/FuriaR08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/FuriaR08
卡洛·福里亚,马特奥·罗西:
具有有界变量的MTL：可决定性和复杂性。 109-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/ChatterjeeHP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/ChatterjeeHP08
克里希南德·查特吉,托马斯·汉津格,Vinayak S.Prabhu公司:
时间均等游戏：复杂性和鲁棒性。 124-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/DegorreM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/DegoreM08
奥尔德里克·德戈尔,奥德·马勒:
结构化作业流的调度策略。 141-154

案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BoniolHPAJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BoniolHPAJ08
波尼奥尔炸薯条,皮埃尔·埃曼纽尔·赫拉迪克,克莱尔·佩吉蒂,福雷德里克·阿斯普罗（Frédéric Aspro）,维克托·杰古:
分布实时函数的框架。 155-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/IgnaKYBGVVSS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/IgnaKYBGVVSS08
乔治塔·伊格纳,文卡特斯·坎南,杨扬,特万·巴斯滕,马克·盖伦,Frits W.Vaandrager公司,马克·沃霍夫,塞巴斯蒂安·德·斯梅特,卢·J·萨默斯:
数字文档打印机数据路径的形式化建模和调度。 170-187

概率系统的模型检验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/RemkeH08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/RemkeH08
安妮·雷姆克,Boudewijn R.哈弗科特:
一种基于均匀化的标记排队网络CSL Until算子模型检测算法。 188-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/KatoenM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/KatoenM08
Joost-Pieter Katoen公司,亚历山德鲁·梅雷克莱:
分段恒非齐次马尔可夫链上的模型检验HML。 203-217

验证和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forms/ChandyMP08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/ChandyMP08
K.马尼·钱迪,萨扬密特拉,皮洛托协奏曲:
收敛验证：从共享内存到部分同步系统。 218-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BerendsenV08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BerendsenV08
贾斯珀·贝伦德森,Frits W.Vaandrager公司:
实时模型检查中的组合抽象。 233-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/SchmaltzT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/SchmaltzT08
朱利安·施马耳茨,简·特雷特曼:
关于定时系统的一致性测试。 250-264

时间Petri网

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BouchenebB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BouchenebB08
哈尼法·布切内布,卡梅尔·巴考伊:
构建时间Petri网可达图的相关时间表/时钟估值。 265-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/TraonouezLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/TraonouezLR08
路易斯·马里·特劳努埃兹,迪迪埃·莱姆,奥利维尔·H·鲁:
用状态类图对带秒表的时间Petri网进行参数化模型检验。 280-294

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。