首页> 外文OA文献 >A formal method for the development of agent-based systems

【2h】

A formal method for the development of agent-based systems

机译：开发基于代理的系统的正式方法

页面导航

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

著录项

作者
P. Kefalas; M. Holcombe; G. Eleftherakis; M. Gheorghe;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms [J] . Sergey Ostroumov, Leonidas Tsiopoulos International journal of embedded and real-time communication systems . 2012,第2期

机译：动态可重配置NoC平台的基于代理的分层监视系统的正式开发
2. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods [J] . JAN TRETMANS, KLAAS WIJBRANS, MICHEL CHAUDRON Formal Methods in System Design . 2001,第2期

机译：正式方法的软件工程：风暴潮屏障控制系统的开发，重新审视了正式方法的七个神话
3. Temporal Development Methods for Agent-Based Systems [J] . MICHAEL FISHER Autonomous agents and multi-agent systems . 2005,第1期

机译：基于代理的系统的时间开发方法
4. A formal development and validation methodology applied to agent-based systems [C] . Giovanna Di Marzo Serugendo International Workshop on Infrastructure for Scalable Multi-Agent Systems . 2001

机译：应用于基于代理的系统的正式发展和验证方法
5. An extension and application of systems engineering tools to the development of a formal method for CAIV implementation [D] . Krupa, Joseph 2008

机译：系统工程工具的扩展和应用，以开发用于CAIV实施的正式方法
6. Development of an Agent-Based Model (ABM) to Simulate the Immune System and Integration of a Regression Method to Estimate the Key ABM Parameters by Fitting the Experimental Data [O] . Xuming Tong, Jinghang Chen, Hongyu Miao, -1

机译：开发基于主体的模型（ABM）来模拟免疫系统并集成回归方法以拟合实验数据来估计关键的ABM参数
7. A Formal Development and Validation Methodology Applied to Agent-Based Systems [O] . Di Marzo Serugendo, Giovanna 2001

机译：正式的开发和验证方法论应用于基于代理的系统
8. Development of a Formal Theory of Agent-Based Computing for System Evaluation and System-Design Guidance [R] . Pollack, M. E. 2004

机译：基于agent的系统评价与系统设计指导的形式理论的发展

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号