Hong Ki Thae

Publication Activity (10 Years)

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

Publications

Hong Ki Thae, Dang Van Hung
A Case Study on Formal Design of Hybrid Control Systems. COMPSAC (2001)