John-Jules Ch. Meyer;Pierre-Yves Schobbens
-;-
Formal Specification of Agent Behaviour through Environment Scenarios
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers