Browse by Subject Programmable Logic Controller

Showing results 1 to 2 of 2

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-Hyunresearcher, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08

2
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0