Byoungmoon Chin

发表

Erratum to: Formal Techniques for Networked and Distributed Systems

Myungchul Kim, Sungwon Kang, Danhyung Lee, 2001 .

Minimizing Cost and Delay in Shared Multicast Trees

Byoungmoon Chin, Seok-Joo Koh Koh, Jong-Hwa Yi Yi, 2000 .

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, Sungwon Kang, Byoungmoon Chin, 2001, FORTE.

Modeling and Interoperability Test Case Generation of a Real‐Time QoS Monitoring Protocol

Sungwon Kang, Byoungmoon Chin, Chee-Hang Park Park, 1999 .

Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems

Myungchul Kim, Sungwon Kang, Danhyung Lee, 2001 .

Standardization Strategy of 4th Generation Mobile Communication System

Byoungmoon Chin, Kihoon Kim, Jeongsik Park, 2004 .

Formal Techniques for Networked and Distributed Systems

Myungchul Kim, Sungwon Kang, Danhyung Lee, 2001, IFIP International Federation for Information Processing.

Virtual standards development environments for concurrent standardization process

Kishik Park, Byoungmoon Chin, Chee-Hang Park Park, 1999 .

Automated Test Generation from Specifications Based on Formal Description Techniques

Byoungmoon Chin, Sung-Un Kim Kim, Young-Han Choe Choe, 1997 .

An Efficient Interoperability Test methodologyBased on Hierarchically Organized State Space

Seong-Il Jin, Dong-Ik Lee, Byoungmoon Chin, 1998 .