Showing results 1 to 3 of 3
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 |
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법 은형석; Lingjun Liu; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.29, no.3, pp.114 - 120, 2023-03 |
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS Yoo, Junbeom; Cha, Sungdeok; Jee, Eunk Young, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.1, pp.79 - 90, 2009-02 |
Discover