Eleftherakis, G.; Kefalas, P.; Kehris, E.
(2011-09)
Formal development of agent systems with inherent high complexity is not a trivial task, especially if a formal method used is not accompanied by an appropriate methodology. X-machines is a formal method that resembles ...