首页> 外文OA文献 >Model Checking-Based Analysis Of Multiagent Systems

【2h】

Model Checking-Based Analysis Of Multiagent Systems

机译：基于模型检查的多主体系统分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Massimo Benerecetti; Fausto Giunchiglia;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A model checking-based approach for security policy verification of mobile systems [J] . Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi Formal Aspects of Computing . 2011,第5期

机译：基于模型检查的移动系统安全策略验证方法
2. Self-Organization and Multiagent Systems: I. Models of Multiagent Self-Organization [J] . V. I. Gorodetskii Journal of Computer and Systems Sciences International . 2012,第2期

机译：自组织和多主体系统：I.多主体自组织模型
3. Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking [J] . S. Song, J. Hao, Y. Liu, Human-Machine Systems, IEEE Transactions on . 2016,第2期

机译：基于模型检查的改进的基于EGT的多代理系统协商策略鲁棒性分析
4. Model Checking-Based Analysis of Multiagent Systems [C] . Massimo Benerecetti, Fausto Giunchiglia Formal Approaches to Agent-Based Systems . 2001

机译：基于模型检查的多主体系统分析
5. MibML: A conceptual modeling grammar for multiagent-based business integrative information systems. [D] . Zhang, Hong. 2004

机译：MibML：基于多代理的业务集成信息系统的概念建模语法。
6. Multiagent Systems Based Modeling and Implementation of Dynamic Energy Management of Smart Microgrid Using MACSimJX [O] . Leo Raju, R. S. Milton, Senthilkumaran Mahadevan 2016

机译：基于多主体系统的MACSimJX智能微电网动态能源管理建模与实现
7. From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications [O] . Frieder Stolzenburg, Toshiaki Arai 2007

机译：从状态图对多主体系统的规范到通过模型检查进行形式化分析：迈向安全关键型应用
8. Transforming Analysis Models into Design Models for the Multiagent Systems Engineering (MASE) Methodology [R] . Sparkman, C. H. 2001

机译：将分析模型转换为多智能体系统工程（masE）方法的设计模型

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号