文献
J-GLOBAL ID:201702233565884479
整理番号:17A0145158
契約はIEC-61499の検証【Powered by NICT】
Contract based verification of IEC 61499
著者 (4件):
Lindgren Per
(Lulea& University of Technology)
,
Lindner Marcus
(Lulea& University of Technology)
,
Pereira David
(CISTER / INESC TEC, ISEP)
,
Pinho Luis Miguel
(CISTER / INESC TEC, ISEP)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
INDIN
ページ:
132-141
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)