文献
J-GLOBAL ID:201902281782926449
整理番号:19A0519144
Simulink設計を用いたPLCプログラムのモデルベース検証【JST・京大機械翻訳】
Model-based verification of PLC programs using Simulink design
著者 (3件):
He Nannan
(Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States)
,
Oke Victor
(Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States)
,
Allen Gale
(Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
EIT
ページ:
0211-0216
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)