Specification and verification of reconfigurable multi-agent system architectures

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaïdi Sahnoun. Specification and verification of reconfigurable multi-agent system architectures. Multiagent and Grid Systems, 12(2):105-124, 2016. [doi]

Abstract

Abstract is missing.