|
|
|
|
LEADER |
00980nam a2200337 4500 |
001 |
DLU110117536 |
005 |
##20101221 |
040 |
# |
# |
|a DLU
|b eng
|
041 |
# |
# |
|a eng
|
044 |
# |
# |
|a ko
|
100 |
# |
# |
|a Yoo, Jun-Beom.
|
245 |
# |
# |
|a Verification of PLC programs written in FBD with VIS /
|c Jun-Beom Yoo, Sung-Deok Cha, Eun-Kyung Jee.
|
653 |
# |
# |
|a Equivalence checking
|
653 |
# |
# |
|a Function block diagram
|
653 |
# |
# |
|a IEC-61131
|
653 |
# |
# |
|a Programmable logic controller
|
653 |
# |
# |
|a Verification
|
653 |
# |
# |
|a Verilog
|
653 |
# |
# |
|a VIS
|
700 |
# |
# |
|a Cha, Sung-Deok.
|
700 |
# |
# |
|a Jee, Eun-Kyung.
|
773 |
# |
# |
|t Nuclear engineering and technology
|g Vol. 41, no. 1 (2009), p. 79-90
|
920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
994 |
# |
# |
|a DLU
|
900 |
# |
# |
|a True
|
911 |
# |
# |
|a Trương Bảo Trâm Anh
|
925 |
# |
# |
|a G
|
926 |
# |
# |
|a A
|
927 |
# |
# |
|a BB
|
980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|