[IEEE 2009 Fourth International Conference on Innovative Computing, Information and Control (ICICIC) - Kaohsiung, Taiwan (2009.12.7-2009.12.9)] 2009 Fourth International Conference on Innovative Computing, Information and Control (ICICIC) - A Debugging Algorithm in Equivalent Transformation Model Using Oracle Rules
Miyajima, Shinya, Akama, Kiyoshi, Mabuchi, HiroshiYear:
2009
Language:
english
DOI:
10.1109/icicic.2009.5
File:
PDF, 161 KB
english, 2009