Searching for authors named Seung Hwan Kim – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Intelligent Knowledge Acquisition with Case -Based Reasoning Techniques
- …Intelligent Knowledge Acquisition with Case -Based Reasoning Techniques Seung Hwan Kang Sim Kim…
- Cited by 1 (0 self) – Add To MetaCart
-
Specification and Validation of Dynamic Systems Using Temporal Logic
- …Specication and Validation of Dynamic Systems Using Temporal Logic Seung Mo Cho, Hyung Ho Kim, Sung…
- Cited by 3 (1 self) – Add To MetaCart
-
A Temporal Logic for Dynamic Systems and its Application to SDL
- … A Temporal Logic for Dynamic Systems and its Application to SDL Seung Mo Cho, Hyung Ho Kim, Sung…
- Add To MetaCart
-
Performance Analysis of a Modified DQRUMA/MC-CDMA Protocol for Voice
- …�z, Seung Yeob Nam y, Dan Keun Sung y, and Seung Hwan Kim y z Dept. of EECS, KAIST, Taejon, 305-701, Korea…
- Add To MetaCart
-
A Semantics of Sequence Diagrams
- … ∗ , Hyung Ho Kim, Sung Deok Cha, Doo Hwan Bae www.elsevier.com/locate/ipl Department of Computer Science…
- Cited by 3 (0 self) – Add To MetaCart
-
Applying model checking to concurrent object-oriented software
- … Applying Model Checking to Concurrent Object-Oriented Software \Lambda Seung Mo Cho, Doo Hwan…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
