文献
J-GLOBAL ID:202102232728948316
整理番号:21A0993123
IEC61131-3PLCプログラムのためのユーザフレンドリーな検証アプローチ【JST・京大機械翻訳】
A User-Friendly Verification Approach for IEC 61131-3 PLC Programs
著者 (6件):
Xiong Jiawen
(National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China)
,
Zhu Gang
(National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China)
,
Huang Yanhong
(National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China)
,
Huang Yanhong
(Hardware/software Co-Design Technology and Application Engineering Research Center, Shanghai 200062, China)
,
Shi Jianqi
(National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China)
,
Shi Jianqi
(Hardware/software Co-Design Technology and Application Engineering Research Center, Shanghai 200062, China)
資料名:
Electronics (Web)
(Electronics (Web))
巻:
9
号:
4
ページ:
572
発行年:
2020年
JST資料番号:
U7178A
ISSN:
2079-9292
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
スイス (CHE)
言語:
英語 (EN)