MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Seung Mo Cho" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Extending the SCR Method for Real-Time Systems  
  • by Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon — 2001
  • … Center (AITrc) Korea Advanced Institute of Science and Technology (KAIST) SEUNG MO CHO seung…
  • Add To MetaCart
  • A Semantics of Sequence Diagrams  
  • by Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo Hwan Bae, Communicated M. Yamashita — 2002
  • …Information Processing Letters 84 (2002) 125–130 A semantics of sequence diagrams ✩ Seung Mo Cho…
  • Cited by 3 (0 self) – Add To MetaCart
  • Applying model checking to concurrent object-oriented software  
  • by Seung Mo Cho, Doo Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim — 1999 — In ISADS ’99: Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems
  • … Applying Model Checking to Concurrent Object-Oriented Software \Lambda Seung Mo Cho, Doo Hwan…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB