engleski

Verification of Mobile Agent Network Simulator

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.

multi-agent system ; mobile agent network ; verification ; simulator

nije evidentirano