Skip to main content

2 Result(s)

within Book Remove this filter Myung** Kim Remove this filter English Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    Formal Techniques for Networked and Distributed Systems

    FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

    Myungchul Kim, Byoungmoon Chin… in IFIP International Federation for Information Processing (2001)

  2. No Access

    Book

    Testing of Communicating Systems

    IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

    Myungchul Kim, Sungwon Kang, Keesoo Hong in IFIP — The International Federation for Information Processing (1997)