Myung-sun Jeong

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Chang-shin Chung, Moon-kun Lee, Myung-sun Jeong
A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification. APSEC (1998)