DSpace at KOASAS
Browsing DSpace

Browse by Subject Programmable Logic Controller

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

1
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

2
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법

은형석; Lingjun Liu; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.29, no.3, pp.114 - 120, 2023-03

3
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

rss_1.0 rss_2.0 atom_1.0