Definition of a Verification Method for the MASINA Methodology
暂无分享,去创建一个
[1] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..
[2] José Aguilar,et al. Arquitectura de un Sistema Operativo Web Basado en Sistemas Multiagentes , 2004, Rev. Colomb. de Computación.
[3] J. Sanz. Metodologías para el desarrollo de sistemas multi-agente , 2003 .
[4] C. Fernández. Definición de una metodología para el desarrollo de sistemas multiagente , 1998 .
[5] Julie A. Adams,et al. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..