Myung Jun Song

Publication Activity (10 Years)

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

Publications

Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong
Verification method for the FBD-style design specification using SDT and SMV. IASTED Conf. on Software Engineering (2004)
Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. HASE (2004)