| 2005 |
|---|
| 3 | EE | Y. J. Song,
H. J. Joo,
S. K. Kang,
H. H. Kim,
J. H. Park,
Y. M. Kang,
E. Y. Kang,
S. Y. Lee,
K. Kim:
Electrical properties of highly reliable 32Mb FRAM with advanced capacitor technology.
Microelectronics Reliability 45(7-8): 1150-1153 (2005) |
| 2001 |
|---|
| 2 | | Seung Mo Cho,
H. H. Kim,
Sung Deok Cha,
Doo-Hwan Bae:
Specification and validation of dynamic systems using temporal logic.
IEE Proceedings - Software 148(4): 135-140 (2001) |
| 1994 |
|---|
| 1 | | Eunha Rho,
Sangho Ha,
Sangyong Han,
H. H. Kim,
Daejoon Hwang:
Compilation of a Functional Language for the Multithreaded Architecture: DAVRID.
ICPP 1994: 239-242 |
