From Formal Modelling to Agent Simulation Execution and Testing.

Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas

Browse the full ICAART paper archive.