首页> 外文会议>IEEE International Conference on Computer Systems and Applications >A Contribution to the Formal Checking of Multi-Agents Systems

【24h】

A Contribution to the Formal Checking of Multi-Agents Systems

机译：对多元代理系统正式检查的贡献

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

not avaliable

机译：无法使用

著录项

来源
《IEEE International Conference on Computer Systems and Applications》|2006年||共8页
会议地点
作者
Belala F.; Boucherit A.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP3-53;
关键词

相似文献

外文文献
中文文献
专利

1. Formal specification of a multi-agent system architecture for manufacture: the contribution of the #pi#-calculus [J] . Y.Dumond, C.Roche Journal of Materials Processing Technology . 2000,第1a3期

机译：用于制造的多智能体系统架构的正式规范：＃pi＃-演算的贡献
2. Model checking intelligent avionics systems for test cases generation using multi-agent systems [J] . Elkholy Warda, El-Menshawy Mohamed, Bentahar Jamal, Expert systems with applications . 2020,第Octa期

机译：模型检查智能航空电子系统，用于使用多功能机构生成测试用例
3. Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker [J] . Toufik Taibi International journal of artificial intelligence and soft computing . 2008,第1期

机译：使用TLA +和TLC模型检查器对多主体行为进行正式规范和验证
4. A Contribution to the Formal Checking of Multi-Agents Systems [C] . Belala, F., Boucherit, . 2006

机译：对多代理系统形式检查的贡献
5. Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems [D] . Katis, Andreas. 2020

机译：无限状态反应系统的可实现性检查和合成的正式技术
6. Contribution of traditional birth attendants to the formal health system in Ethiopia: the case of Afar region [O] . Tedla Mulatu Temesgen, Jemal Yousuf Umer, Dawit Seyoum Buda, 2012

机译：传统接生员对埃塞俄比亚正规卫生系统的贡献：以阿法尔地区为例
7. Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems [O] . Ezekiel J., Lomuscio A. 2016

机译：将故障注入与模型检查相结合，以验证多代理系统中的容错性，可恢复性和可诊断性
8. Verifying Multi-Agent Systems via Unbounded Model Checking [R] . Kacprzak, M. , Lomusio, A. , Lasica, T. 2005

机译：通过无界模型检查验证多代理系统

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号