Jong-Won Ko, Su-Jin Baek, Young-Jae Song. Model Optimization with Graph Transformation and PSO Algorithm for Model Transformation Verification. In Kuinam J. Kim, Seong-Jin Ahn, editors, Proceedings of the International Conference on IT Convergence and Security, ICITCS 2011, Suwon, Korea, December 14-16, 2011. Volume 120 of Lecture Notes in Electrical Engineering, pages 479-487, Springer, 2011. [doi]
Abstract is missing.