MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sung Deok Cha" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Automatic Test Generation from Statecharts Using Model Checking  
  • by Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Sung Deok Cha — 2001 — In Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, volume NS-01-4 of BRICS Notes Series
  • …,lee,sokolskyg@(email omitted); Sung Deok Cha Division of Computer Science and AITrc Department of Electrical Engineering and Computer…
  • Cited by 6 (1 self) – Add To MetaCart
  • Specification and Analysis of Real-Time  
  • by Systems In Statecharts, Sung Deok Cha, Hyoung Seok Hong
  • …. 137-143, Feb. 1996. Sung Deok Cha and Hyoung Seok Hong Department of Computer Science Korea Advanced…
  • Add To MetaCart
  • A Test Sequence Selection Method for Statecharts  
  • by Softw Test, Verif Reliab, Hyoung Seok Hong, Young Gon Kim, Hasan Ural, Sung Deok Cha, Doo Hwan Bae — 2000
  • … test sequence selection method for statecharts Hyoung Seok Hong 1,* , Young Gon Kim 1 , Sung Deok Cha 1…
  • Add To MetaCart
  • Extending the SCR Method for Real-Time Systems  
  • by Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon — 2001
  • … of Science and Technology (KAIST) SUNG DEOK CHA cha@(email omitted); EECS Department and Advanced…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB