搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2023 科尔特拉奇·阿莱西奥 :
在Lambdapi中重建用VeriT求解的TLAPS证明。 ABZ公司 2023 : 375-377 亚尼斯·本纳比 :
铁路系统正式验证和确认框架。 ABZ公司 2023 : 371-374 安德烈亚·邦巴达 , 西尔维娅·邦凡蒂 , 安吉洛·加甘蒂尼 :
正式MVC:UI开发中ASM规范集成的模式。 ABZ公司 2023 : 340-357 西尔维娅·邦凡蒂 , 蓖麻Elvinia Riccobene , 大卫·圣安德烈 , 帕特里齐亚·斯坎杜拉 :
通过组合I/O抽象状态机对MVM-Adapt系统进行建模。 ABZ公司 2023 : 107-115 阿希姆·D·布鲁克 , 伊迪尔·阿伊特·萨杜恩 , 尼古拉斯·梅里奇 , 伯克哈特-沃尔夫 :
在正式软件工程中使用深层本体。 ABZ公司 2023 : 15-32 朱利安·布鲁内尔 , 大卫·切穆尔 , 阿尔西诺库尼亚 , 努诺·马塞多 :
向Alloy添加记录。 ABZ公司 2023 : 212-219 朱利安·塞维尔 , 弗雷德里克·热尔维斯(Frédéric Gervais) :
用理论插件介绍B中的归纳结构。 ABZ公司 2023 : 43-58 阿尔西诺库尼亚 , 努诺·马塞多 , Eunsuk Kang公司 :
合金任务模型设计与分析。 ABZ公司 2023 : 303-320 罗莎莉·迪弗恩 :
编码rmTLA + SMT安全证明义务。 ABZ公司 2023 : 88-106 Elie Fares公司 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
通过领域特定语言生成基于模式的细化。 ABZ公司 2023 : 35-42 玛丽·法雷尔 , 罗斯玛丽·莫纳汉 , 詹姆斯·F·鲍尔 :
Event-B机构的建筑规范:总结。 ABZ公司 2023 : 245-253 阿西赫·萨利希·法塔巴迪 , 科林·F·斯努克 , 达娜·戴姆 , 泰国Son Hoang , 法哈德·阿洛塔比 , 迈克尔·巴特勒 :
使用分层STPA和Event-B设计关键系统。 ABZ公司 2023 : 220-237 弗拉维奥·费拉罗蒂 , 克劳斯·迪特尔·斯奎 :
反射算法的行为理论。 ABZ公司 2023 : 238-244 大卫·盖尔 , 塞巴斯蒂安股票 , 费边·武(Fabian Vu) , 迈克尔·勒谢尔 , 阿蒂夫·马斯科尔 :
通过验证义务对安全关键交互系统进行建模和分析。 ABZ公司 2023 : 284-302 努诺·马塞多 , 朱利安·布鲁内尔 , 大卫·切穆尔 , 阿尔西诺库尼亚 :
用Pardinus验证时态关系模型。 ABZ公司 2023 : 254-261 阿梅尔·马玛 , 迈克尔·勒谢尔 :
使用Event-B对到达管理器进行建模和验证。 ABZ公司 2023 : 321-339 迭戈·德·阿泽夫多·奥利维拉 , 马克·弗拉皮耶 :
用TASTD建模汽车软件系统。 ABZ公司 2023 : 124-141 迭戈·德·阿泽夫多·奥利维拉 , 马克·弗拉皮耶 :
TASTD:ASTD的实时扩展。 ABZ公司 2023 : 142-159 菲利普·帕兰克 , 何塞·克里萨克·坎波斯 :
AMAN案例研究。 ABZ公司 2023 : 265-283 安德烈·普拉泽 :
混合动力系统逻辑的精化。 ABZ公司 2023 : 3-14 彼得·里维尔 , 尼拉杰·库马尔·辛格 , 雅敏阿美 , 纪尧姆·杜邦 :
基于EB4EB元理论的独立事件B模型分析。 ABZ公司 2023 : 193-211 克里斯汀·鲁滕科尔克 :
使用ProB将模型检查扩展到浮点数和混合系统。 ABZ公司 2023 : 366-370 格哈德·谢尔霍恩 , 斯特凡·博登米勒 , 沃尔夫冈·雷夫 :
改进基于状态的并发系统的线程局部、分步局部证明义务。 ABZ公司 2023 : 70-87 奥西恩·谢里丹 :
探索安全关键系统的形式化验证方法。 ABZ公司 2023 : 361-365 塞巴斯蒂安股票 , 费边·武(Fabian Vu) , 大卫·盖尔 , 迈克尔·勒谢尔 , 阿提夫·马什库尔 , 亚历山大·埃吉德 :
通过抽象和精炼进行验证。 ABZ公司 2023 : 160-178 林杰通 , 柯旭 , 胡佳润 , 弗拉维奥·费拉罗蒂 , 克劳斯·迪特尔·斯奎 :
探索安全方面的反思性ASM。 ABZ公司 2023 : 185-192 费边·武(Fabian Vu) , 迈克尔·勒谢尔 :
通过交互仿真验证形式模型。 ABZ公司 2023 : 59-69 托马斯·威尔森 , 斯图亚特·马修斯 :
合金模型测试生成和动画的坩埚工具。 ABZ公司 2023 : 116-123 郝武 , 郑成 :
使用旋风验证Event-B混合模型。 ABZ公司 2023 : 179-184 Uwe Glässer公司 , 何塞·克里萨克·坎波斯 , 多米尼克·梅里 , 菲利普·帕兰克 :
严格的基于国家的方法——第九届国际会议,ABZ 2023,法国南希,2023年5月30日至6月2日,会议记录。 计算机科学课堂讲稿 14010, 施普林格 2023 ,国际标准图书编号 978-3-031-33162-6 [目录]
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)