停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2014年第11届国际单项体育联合会：意大利贝蒂诺罗

>主页 >会议和研讨会 >国际单项体育联合会

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/2014
埃尔维拉·阿尔伯特,埃米尔·塞克林斯基:
综合形式方法——第11届国际会议，IFM 2014，意大利贝蒂诺罗，2014年9月9日至11日，会议记录。计算机科学课堂讲稿8739,施普林格 2014，国际标准图书编号978-3-319-10180-4

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/CalvaneeKSVZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/CalvaneeKSVZ14
迭戈·卡尔瓦内斯,托默·科特克,曼塔斯·西姆库斯,赫尔穆特·维思,弗洛里安·祖勒格:
形状和内容——数据结构分析的数据库理论视角。 3-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/DrossopoulouN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/DrossopoulouN14
索菲亚·德罗索波卢,詹姆斯·诺布尔:
如何打破银行：能力政策的语义。 18-35

工具集成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/OliveiraSF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/OliveiraSF14
马塞尔·维尼修斯·梅德罗斯·奥利维拉,奥古斯托·桑帕约,Madiel S.Conserva Filho公司:
模型检查马戏团状态丰富规范。 39-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/HentschelKHB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/HentschelKHB14
马丁·亨切尔,斯特凡·卡斯多夫,雷内·哈内尔,理查德·布贝尔:
交互式验证工具符合IDE。 55-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/GilmoreTV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/GilmoreTV14
斯蒂芬·吉尔摩,Mirco Tribastone公司,安德烈·范丁:
公共交通系统定量评价的分析途径。 71-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/Abbas BR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/AbbasBR14
阿巴斯（Messaoud Abbas）,乔克里·比·本·耶尔斯,雷诺德·里奥博奥:
使用FoCaLiZe建模UML模板类。 87-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/莱比尼斯BPTTP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/LaibinisBPTTP14网址
利纳斯·莱比尼斯,本杰明·拜霍姆,Inna Pereverzeva酒店,埃琳娜·特鲁比西纳,Kuan Eeik Tan先生,伊凡·波雷斯:
集成事件B建模和离散事件模拟来分析云中数据存储的弹性。 103-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/FathabadiSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/FathabadiSB14
阿西赫·萨利希·法塔巴迪,科林·F·斯努克,迈克尔·巴特勒:
将集成建模过程应用于多核系统的运行时管理。 120-135

模型验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/梅勒GY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/MellerGY14
亚尔·梅勒,奥尔纳·格隆伯格,凯伦·约拉夫:
通过CEGAR验证行为UML系统。 139-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/MiyazawaC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/MiyazawaC14
宫泽阿尔瓦罗,安娜·卡瓦尔坎蒂:
SysML中的形式化细化。 155-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/BrideKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/BrideKP14
哈德里安新娘,奥尔加·库什纳伦科,法比安·佩鲁克斯:
使用约束求解验证模态工作流规范。 171-186

项目开发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/ErikssonPB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/ErikssonPB14
约翰内斯·埃里克森,马苏梅·帕萨,拉尔夫·约翰回来:
基于不变量的程序设计中的证明与反驳。 189-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/Chaudhari 14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/ChaudhariD14
迪帕克·乔达里,Om P.达马尼:
自动定理证明器辅助程序计算。 205-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/施耐德TWW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/SchneiderTWW14
史蒂夫·施耐德,海伦·特雷哈恩,海克·韦尔海姆,大卫·M·威廉姆斯:
在事件B优化中管理LTL属性。 221-237

安全性分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/BruniSNN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/BruniSNN14
亚历山德罗·布鲁尼,米查尔·索伊卡,弗莱明·尼尔森,汉内·里斯·尼尔森:
MaCAN协议的形式化安全分析。 241-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/KordyPS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/KordyPS14
芭芭拉·科尔迪,马克·保利,帕特里克·施韦策:
具有相关动作的安全场景的概率框架。 256-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/RamsdellDGR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/RamsdellDGR14
约翰·拉姆斯代尔,丹尼尔·道尔蒂,约书亚·D·古特曼,保罗·D·罗:
状态安全协议的混合分析。 272-287

分析和转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/AsavoaeAR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/AsavoaeAR14
Irina Mariuca细辛,米哈伊尔·细辛,阿德里安·里斯科:
走向一种基于形式语义的跨过程切片技术。 291-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/JakobsPWW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/JakobsPWW14
玛丽·克里斯汀·雅各布斯,马可·普拉兹纳,海克·韦尔海姆,托比亚斯·维泽马:
集成软件和硬件验证。 307-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/FurstHBDSM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/FurstHBDSM14网址
安德烈亚斯·弗斯特,泰国Son Hoang,大卫·A·巴思,克里希纳吉·德赛,佐藤直人,宫崎骏彦:
Event-B的代码生成。 323-338

并发和控制

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/井架SD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/DerrickSD14
约翰·德里克,格雷姆·史密斯,布里杰什·多戈尔:
验证TSO架构的线性化能力。 341-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/TofanSR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/TofanSR14
博格丹·托凡,格哈德·谢尔霍恩,沃尔夫冈·雷夫:
线性化的合成证明方法应用于无等待多集。 357-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/PatcasLM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/PatcasLM14
卢西安·巴卡斯（Lucian M.Patcas）,马克·劳福德,汤姆·迈鲍姆:
嵌入式系统接口的分离原则。 373-388

服务

管理网站设置

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