Modeling and Testing Agent Systems Based on Statecharts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Heui-Seok Seo' in GoogleThis author has not been identified. Look up 'Tadashi Araragi' in GoogleThis author has not been identified. Look up 'Yong Rae Kwon' in Google

runs on WebDSL