Showing results 1 to 2 of 2
Development of a verification method for the FBD-style design specification using ESDT and SMV = ESDT와 SMV를 이용한 FBD-style 설계명세서를 위한 검증 방법 개발link Song, Myung-Jun; 송명준; et al, 한국과학기술원, 2004 |
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08 |
Discover