文献
J-GLOBAL ID:201702243081913904
整理番号:17A1630436
グラフ解析を用いた生産システムのための安全性制約の無矛盾性検査【Powered by NICT】
Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis
著者 (3件):
PICHARD R.
(CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France)
,
PHILIPPOT A.
(CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France)
,
RIERA B.
(CReSTIC (EA3804), UFR Sciences Exactes et Naturelles, Reims University (URCA), Moulin de la Housse, 51687 Reims - France)
資料名:
IFAC PapersOnLine
(IFAC PapersOnLine)
巻:
50
号:
1
ページ:
1193-1198
発行年:
2017年
JST資料番号:
W3101A
ISSN:
2405-8963
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)