Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (HASE, 2004)

Verification method for the FBD-style design specification using SDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (IASTED Conf. on Software Engineering, 2004)