文献
J-GLOBAL ID:201702277802738032
整理番号:17A1632434
時間付き離散事象システムへの増分モデル修復アプローチ【Powered by NICT】
An incremental model repair approach to timed discrete event systems
著者 (3件):
F. Basile
(DIEM, Universita di Salerno, Italy)
,
P. Chiacchio
(DIEM, Universita di Salerno, Italy)
,
J. Coppola
(DIEM, Universita di Salerno, Italy)
資料名:
IFAC PapersOnLine
(IFAC PapersOnLine)
巻:
50
号:
1
ページ:
13636-13641
発行年:
2017年
JST資料番号:
W3101A
ISSN:
2405-8963
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)