停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第9 ABZ 2023：法国南希

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/2023
Uwe Glässer公司,何塞·克里萨克·坎波斯,多米尼克·梅里,菲利普·帕兰克:
严格的基于国家的方法——第九届国际会议，ABZ 2023，法国南希，2023年5月30日至6月2日，会议记录。计算机科学讲义14010,施普林格 2023，国际标准图书编号978-3-031-33162-6

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Platzer23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Platzer23
安德烈·普拉泽:
混合动力系统逻辑的改进。 3-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/BruckerAMW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/BruckerAMW23
阿希姆·D·布鲁克,伊迪尔·阿伊特·萨杜恩,尼古拉斯·梅里奇,伯克哈特·沃尔夫:
在正式软件工程中使用深层本体。 15-32

演讲和出版论文选集

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/票价BF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/FaresBF23
Elie Fares公司,Jean-Paul Bodevix公司,马蒙·菲拉利:
通过领域特定语言生成基于模式的细化。 35-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/CervelleG23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/CervelleG23网站
朱利安·塞维尔,弗雷德里克·热尔维斯（Frédéric Gervais）:
用理论插件介绍B中的归纳结构。 43-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/VuL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/VuL23
费边·武（Fabian Vu）,迈克尔·勒谢尔:
通过交互仿真验证形式模型。 59-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/SchellhornBR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/SchellhornBR23
格哈德·谢尔霍恩,斯特凡·博登穆勒,沃尔夫冈·雷夫:
改进基于状态的并发系统的线程局部、分步局部证明义务。 70-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Defourne23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Defourne23
罗莎莉·迪弗恩:
编码rmTLA⁺SMT的安全证明义务。 88-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/BonfantiRSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/BonfantiRSS23
西尔维娅·邦凡蒂,蓖麻Elvinia Riccobene,大卫·圣安德烈,帕特里齐亚·斯坎杜拉:
通过组合I/O抽象状态机对MVM-Adapt系统进行建模。 107-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/WilsonM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/WilsonM23网址
托马斯·威尔森,斯图亚特·马修斯:
合金模型测试生成和动画的坩埚工具。 116-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/OliveiraF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/OliveiraF23
迭戈·德·阿泽维多·奥利维拉,马克·弗拉皮耶:
用TASTD建模汽车软件系统。 124-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/OliveiraF23a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/OliveiraF23a
迭戈·德·阿泽维多·奥利维拉,马克·弗拉皮耶:
TASTD：ASTD的实时扩展。 142-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/StockVGLME23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/StockVGLME23
塞巴斯蒂安股票,费边·武（Fabian Vu）,大卫·盖尔,迈克尔·勒谢尔,阿蒂夫·马斯科尔,亚历山大·埃吉德:
通过抽象和精炼进行验证。 160-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/WuC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/WuC23
郝武,郑成:
使用旋风验证Event-B混合模型。 179-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/TongXHFS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/TongXHFS23
林杰通,柯旭,胡佳润,弗拉维奥·费拉罗蒂,克劳斯·迪特尔·斯奎:
探索安全方面的反思性ASM。 185-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/RiviereSAD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/RiviereSAD23
彼得·里维尔,尼拉杰·库马尔·辛格,雅敏阿美,纪尧姆·杜邦:
基于EB4EB元理论的独立事件B模型分析。 193-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/布鲁内尔CCM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/BrunelCCM23
朱利安·布鲁内尔,大卫·切穆尔,阿尔西诺库尼亚,努诺·马切多:
向Alloy添加记录。 212-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/FatabadiSDHAB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/FatabadiSDHAB23
阿西赫·萨利希·法塔巴迪,科林·F·斯努克,达娜·戴姆,泰国Son Hoang,法哈德·阿洛塔比,迈克尔·巴特勒:
使用分层STPA和Event-B设计关键系统。 220-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/FerrarottiS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/FerrarottiS23
弗拉维奥·费拉罗蒂,克劳斯·迪特尔·斯奎:
反射算法的行为理论。 238-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/FarrellMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/FarrellMP23
玛丽·法雷尔,罗斯玛丽·莫纳汉,詹姆斯·F·鲍尔:
Event-B机构的建筑规范：总结。 245-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/马其顿BCC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/MacedoBCC23
努诺·马塞多,朱利安·布鲁内尔,大卫·切穆尔,阿尔西诺库尼亚:
用Pardinus验证时态关系模型。 254-261

ABZ 2023案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/PalanqueC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/PalanqueC23网址
菲利普·帕兰克,何塞·克里萨克·坎波斯:
AMAN案例研究。 265-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/GelesusSVLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/GelessusSVLM23
大卫·盖尔,塞巴斯蒂安股票,费边·武（Fabian Vu）,迈克尔·勒谢尔,阿蒂夫·马斯科尔:
通过验证义务对安全关键交互系统进行建模和分析。 284-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/CunhaMK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/CunhaMK23
阿尔西诺库尼亚,努诺·马塞多,Eunsuk Kang公司:
合金任务模型设计与分析。 303-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/MammarL23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/MamarL23网站
阿梅尔·马玛,迈克尔·勒舍尔:
使用Event-B对到达管理器进行建模和验证。 321-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/BombardaBG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/BombardaBG23
安德烈亚·邦巴达,西尔维娅·邦凡蒂,安吉洛·加甘蒂尼:
正式MVC：UI开发中ASM规范集成的模式。 340-357

博士生论坛

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Sheridan23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Sheridan23
奥西恩·谢里丹:
探索安全关键系统的形式化验证方法。 361-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Rutenkolk会议23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Rutenkolk23
克里斯汀·鲁滕科尔克:
使用ProB将模型检查扩展到浮点数和混合系统。 366-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Benabbi23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Benabbi23
亚尼斯·贝纳比:
铁路系统正式验证和确认框架。 371-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Alessio23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Alessio23
科尔特拉奇·阿莱西奥:
在Lambdapi中重建用VeriT求解的TLAPS证明。 375-377

服务

管理网站设置

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