3.145.59.187
3.145.59.187
close menu
KCI 후보
FSA(Finite State Automata) 모델 이용한 PLC 로직 검증 시뮬레이션에 대한 연구
A study of PLC Logic verification using FSA(finite state automata)
정인성 ( In Sung Jung ) , 구락조 ( Lock Jo Koo ) , 최성욱 ( Sung Wook Choi ) , 박창목 ( Chang Mok Park ) , 왕지남 ( Gi Nam Wang )
UCI I410-ECN-0102-2009-550-008551443
×