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]
@inproceedings{SeoAK04,
title = {Modeling and Testing Agent Systems Based on Statecharts},
author = {Heui-Seok Seo and Tadashi Araragi and Yong Rae Kwon},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3236&spage=308},
tags = {rule-based, agent based modeling, modeling, testing},
researchr = {https://researchr.org/publication/SeoAK04},
cites = {0},
citedby = {0},
pages = {308-321},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004},
editor = {Manuel Núñez and Zakaria Maamar and Fernando L. Pelayo and Key Pousttchi and Fernando Rubio},
volume = {3236},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23169-2},
}