Verification of Mobile Agent Network Simulator
Krešimir Jurasović, Mario Kušek · 2007
This paper deals with the verification of a multi-agent system simulator. The agents in the simulator are based on the Mobile Agent Network formal model. In order to verify the simulation results, they were compared with performance characteristics of a real multi-agent system, called the Remote Maintenance Shell, measured in a laboratory.