Browse "CS-Conference Papers(학술회의논문)" by Author Kang, Hyun-Goo

Showing results 1 to 3 of 3

1
A Static Bug Detector for Object Initialization Problem in Java Programs

Kang, Hyun-Goo; Kim, Youil; Seo, Sunae; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.7 - 12, 2005-06-01

2
Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata

Son, Choonho; Yun, Jeon-Han; Kang, Hyun-Goo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.213 - 218, 2005-06-01

3
Verifying Safety of File-like Resources by Resource Allocation Matrix

Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01

Discover

rss_1.0 rss_2.0 atom_1.0