文献
J-GLOBAL ID:201802267493113454
整理番号:18A0185826
適切な適合性関係を用いたPLCプログラムのモデルベース試験【Powered by NICT】
Model-Based Testing of PLC Programs With Appropriate Conformance Relations
著者 (3件):
Guignard Anais
(LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France)
,
Faure Jean-Marc
(LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France)
,
Faraut Gregory
(LURPA, ENS Cachan, Universite ́ Paris-Sud, Universite ́ Paris-Saclay, Cachan, France)
資料名:
IEEE Transactions on Industrial Informatics
(IEEE Transactions on Industrial Informatics)
巻:
14
号:
1
ページ:
350-359
発行年:
2018年
JST資料番号:
W1434A
ISSN:
1551-3203
CODEN:
ITIICH
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)