文献
J-GLOBAL ID:201702259441983980
整理番号:17A1592763
1つのCPS向け制御アプリケーション連携検証手法【JST・京大機械翻訳】
Co-Verification Approach to Control Software Program for CPS
著者 (4件):
Zhang Yu
(南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228)
,
Dong Yunwei
(西北工業大学計算机学院,陜西西安,710129)
,
Feng Wenlong
(南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228)
,
Huang Mengxing
(南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
28
号:
5
ページ:
1144-1166
発行年:
2017年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)