2000 |
3 | | Hyoung Seok Hong,
Young Gon Kim,
Sung Deok Cha,
Doo-Hwan Bae,
Hasan Ural:
A test sequence selection method for statecharts.
Softw. Test., Verif. Reliab. 10(4): 203-227 (2000) |
1999 |
2 | EE | Tae Hun Kim,
Jeongsik Yang,
Kyoo Hyun Lim,
Jin Wook Kim,
Jeong Eun Lee,
Hyoung Sik Nam,
Young Gon Kim,
Jeong Pyo Kim,
Sang Lin Byun,
Bae Sung Kwon,
Beomsup Kim:
16-bit DSP and System for Baseband / Voiceband Processing of IS-136 Cellular Telephony.
ASP-DAC 1999: 49- |
1 | EE | Seung Mo Cho,
Doo-Hwan Bae,
Sung Deok Cha,
Young Gon Kim,
Byung Kyu Yoo,
Sang Taek Kim:
Applying Model Checking to Concurrent Object-Oriented Software.
ISADS 1999: 380-383 |