停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2010年第30堡垒/12 FMOODS：荷兰阿姆斯特丹

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/2010
约翰·哈特克利夫,埃琳娜·祖卡:
分布式系统的形式技术，第12届IFIP WG 6.1国际联合会议，FMOODS 2010和第30届IFIP工作组6.1国际会议，FORTE 2010，荷兰阿姆斯特丹，2010年6月7日至9日。诉讼程序。计算机科学课堂讲稿6117,施普林格 2010，国际标准图书编号978-3-642-13463-0

邀请的谈话

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Holzmann10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Holzmann10
杰拉德·J·霍尔兹曼:
正式软件验证：我们有多接近？ 1

形式化UML建模

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BronatBLMP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BoronatBLMP10
阿图尔·博罗纳特,罗伯托·布鲁尼,阿尔贝托·卢奇·拉富恩特,乌戈·蒙塔纳里,杰内罗索·保利略:
开发基于规则的决策规划规范的层次结构。 2-16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KraemerH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KraemerH10
弗兰克·亚历山大·克雷默,彼得·赫尔曼:
分布式UML活动的反应语义。 17-31

组件和体系结构

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BasuBBCDL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BasuBBCDL10
阿南达·巴苏,萨德克·本萨勒姆,马吕斯·博兹加,贝诺·特凯劳德,Benoît Delahaye公司,Axel Legay公司:
大型异构系统的统计抽象和模型检查。 32-46
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/OlveczkyBM10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/OlveczkyBM10
彼得·塞巴·奥尔夫茨基,阿图尔·博罗纳特,何塞·梅塞盖尔:
实时建模中行为AADL模型的形式语义和分析。 47-62
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/HieronsN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/HieronsN10
罗伯特·海伦斯,曼努埃尔·努涅斯:
测试概率分布式系统。 63-77
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/PardoNR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/PardoNR10
胡安·何塞·帕尔多,曼努埃尔·努涅斯,卡门·鲁伊斯先生:
使用UIOLTS描述的电子商务代理的规范和测试。 78-86
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BocchiT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BocchiT10
劳拉·博奇,埃米利奥·图斯托:
在SOC中测试基于属性的事务。 87-94

DisCoTec联合会议

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KazemeyniJOB10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KazemeyniJOB10
法特梅赫·卡泽梅尼,艾纳·布罗赫·约翰森,奥拉夫·奥韦,伊兰科·巴拉辛厄姆:
利用联合博弈理论对无线传感器网络中的节点进行分组。 95-109

时间进程代数

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Wijs10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Wijs10
安东·威伊斯:
忘记时间进程代数中的时间。 110-124
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/PosseD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/PosseD10
埃内斯托·波塞,尤尔根·丁格尔:
实时扩展的理论与实现圆周率-微积分。 125-139

定时混合自动机

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/CrespoEL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/CrespoEL10
F.哈维尔·克雷斯波,阿尔贝托·德拉·恩西纳,路易斯·拉纳:
模糊时间自动机。 140-154
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BuCLMT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BuCLMT10
雷布,亚历山德罗·西马蒂,李宣东,塞尔吉奥·莫弗,斯特凡诺·托内塔:
基于浅层同步的混合系统模型检验。 155-169

采办项目逻辑与分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/SmansJP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/SmansJP10
简·斯曼斯,雅各布施,弗兰克·皮森斯:
分离逻辑中的堆相关表达式。 170-185
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Ferrara10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Ferrara10
彼得罗·费拉拉:
通过抽象解释进行模式匹配的静态类型分析。 186-200

分布式系统推理

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Permpontanalarp10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Permpontanalarp10
永裕白茅:
即时跟踪生成和文本跟踪分析及其在密码协议分析中的应用。 201-215
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/BokorSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/BokorSS10
佩特博科,马尔科·塞拉菲尼,内拉杰·苏里:
消息传递分布式协议模型检查的有效模型。 216-223
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/FabregasFP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/FabregasFP10
伊格纳西奥·法布雷加斯,大卫·德·弗鲁托斯·埃斯克里格,米盖尔·帕洛米诺:
逆向仿真逻辑。 224-231

服务

管理网站设置

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