Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon. Modeling and Testing Agent Systems Based on Statecharts. In Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio, editors, Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Volume 3236 of Lecture Notes in Computer Science, pages 308-321, Springer, 2004. [doi]
Abstract is missing.