默认搜索操作

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

问别人

10.2012年格式：英国伦敦

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/格式/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/2012
马钦·尤尔津斯基,德扬·尼科维奇:
时间系统的形式化建模与分析——第十届国际会议，FORMATS 2012，英国伦敦，2012年9月18-20日。诉讼程序。计算机科学课堂讲稿7595,施普林格 2012，国际标准图书编号978-3-642-33364-4

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BastenHST12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BastenHST12
特万·巴斯滕,马蒂恩·亨德里克斯,卢·J·萨默斯,尼古拉·特雷卡:
软件集成嵌入式系统的模型驱动设计空间探索（扩展抽象）。 1-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/Larsen12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/Larsen12
金·拉森:
统计模型检查、细化检查、优化。。。随机混合系统。 7-10

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/AkshayHJLR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/AkshayHJLR12
S.阿克沙伊,洛伊克·赫鲁特,克劳德·贾德,迪迪埃·莱姆,奥利维尔·H·鲁:
结构约束下时间Petri网的鲁棒性。 11-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/AsarinBBDP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/AsarinBBDP12
尤金细辛,尼古拉斯·巴塞特,玛丽·皮埃尔·贝亚尔,奥尔德里克·德戈尔,多米尼克·佩林:
信道编码的时间理论。 27-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BertrandS12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BertrandS12
纳塔莉·贝特朗,斯文·舍韦:
在具有随机延迟的时间自动机上实现最优化。 43-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/CarterN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/CarterN12
丽贝卡·卡特,伊娃·M·纳瓦罗-洛佩斯:
用于证明连续系统活性的动态驱动时间自动机抽象。 59-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/ChiltonKW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/ChiltonKW12
克里斯·奇尔顿,Marta Z.Kwiatkowska公司,徐旺:
重新审视时间规范理论：线性时间视角。 75-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/DalsgaardLLOP12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/DalsgaardLLOP12
安德烈亚斯·恩格尔布雷特·达尔斯加德,阿尔芬斯·拉阿尔曼,金·拉森,Mads公司。奥列森,雅各·范德波尔:
时间自动机的多核可达性。 91-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/DimitrovaF12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/DimitrovaF12
雷娜·迪米特洛娃,伯恩德·芬克贝纳:
反例——观察谓词的引导合成。 107-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/EllenGF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/EllenGF12
克里斯蒂安·埃伦,塞巴斯蒂安·格温,马丁·弗伦泽:
概率混合系统统计模型检验的置信界。 123-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/GhasemiehRHG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/GhasemiehRHG12
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司,马可·格里鲍多:
具有单一一般一次性转换的混合Petri网的基于区域的分析。 139-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/HerreraWAMP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/HerreraWAMP12
克里斯蒂安·埃雷拉,伯恩德·韦斯特法尔,塞尔吉奥·费奥·阿雷尼斯,马可·穆尼兹,安德烈亚斯·波德尔斯基:
减少时间自动机网络中的准等时钟。 155-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/KindermannJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/KindermannJN12
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅莱:
基于SMT的时间系统归纳方法。 171-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/MunizWP12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/MunizWP12
马可·穆尼兹,伯恩德·韦斯特法尔,安德烈亚斯·波德尔斯基:
具有不相交活动的时间自动机。 188-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/PeterF12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/PeterF12
汉斯·约格·彼得,伯恩德·芬克贝纳:
部分可观测时间控制有界综合的复杂性。 204-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/RinastS12格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/RinastS12
乔纳斯·里纳斯,西比勒·舒普:
基于同步矩阵和两种数据变量启发式的UPPAAL网络中Zeno运行的静态检测。 220-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/Stainer12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/Stainer12
阿梅利·斯塔纳:
遗忘时间自动机中的频率。 236-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/WehrleK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/WehrleK12
韦尔勒,塞巴斯蒂安·库普费施米德:
麦克塔：启发式和时间系统搜索。 252-266

管理网站设置

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