停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第17届FACS 2021：虚拟事件

>主页 >会议和研讨会 >FACS公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/2021
格温·萨拉恩,安东·威伊斯:
组件软件的形式方面——第17届国际会议，FACS 2021，虚拟事件，2021年10月28日至29日，会议记录。计算机科学课堂讲稿13077,施普林格 2021，国际标准图书编号978-3-030-90635-1

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/张A0P21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/张A0P21
张子超,阿瑟·阿泽夫多·德·阿莫林,李敏佳,科琳娜·帕萨雷努:
学习组合验证加密协议的假设。 3月23日

建模和组成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/ChehidaBB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/ChehidaBB21
萨利姆·切伊达,阿卜杜勒哈基姆·鲍亚,萨德克·本萨勒姆:
基于组件的方法，结合UML和BIP进行严格的系统设计。 27-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/StolzeMG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/StolzeMG21
克劳德·斯托尔泽,马里诺·米库兰,彼得罗·迪·贾南托尼奥:
可组合的部分多方会话类型。 44-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fics2/LavoreGRS021会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/LavoreGRS021
埃琳娜·迪·拉沃尔,亚历山德罗·贾诺拉,马里奥·罗曼,尼科莱塔·萨巴迪尼,帕维尔·索博辛斯基:
开放转移系统的标准代数。 63-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/奥兰多PBLT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/奥兰多PBLT21
西蒙·奥兰多,瓦罗·迪·帕斯夸尔,弗朗科·巴巴内拉,伊万·拉内斯,埃米利奥·托斯托:
Corinne，舞蹈自动机工具。 82-92

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/BozgaI21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/BozgaI21
马吕斯·博兹加,拉杜·伊奥西夫:
参数化分层分布式系统的规范和安全验证。 95-114
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fas2/0001GHHW21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/0001GHHW21
简·马滕斯,简·弗里索·格鲁特,拉尔斯·范登·哈克,彼得·希马,安东·威伊斯:
计算互模拟和关系粗划分的线性并行算法。 115-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/DadeauGK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/DadeauGK21
弗雷德里克·达多,Jean-Philippe Gros公司,奥尔加·库什纳伦科:
自动生成测试组件系统的初始配置。 134-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/FalconeNBB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/FalconeNBB21
伊利耶斯·法尔科内,霍森·纳扎尔布尔,萨德克·本萨勒姆,马吕斯·博兹加:
监控分布式基于组件的系统。 153-173

服务

管理网站设置

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