Showing results 1 to 2 of 2
A Formal Verification Method of Function Block Diagrams with Tool Supporting : Practical Experiences Koh, KY; Jee, EK; Jeon, SJ; Seong, Poong-Hyun; Cha, SD, the 19th International DAAAM Symposium, 2008-10-25 |
A Systematic Approach to Safety Verification of Function Block Diagrams Koh, KY; Seong, Poong-Hyun; Jee, EK; Cha, SD; Park, GY, ISSNP2008, 2008-09-20 |
Discover