文献
J-GLOBAL ID:201802213290070790
整理番号:18A1908990
列車連動システムのPetriネット表現のモデル検査に基づく安全性検証【JST・京大機械翻訳】
Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems
著者 (5件):
Aristyo B.
(Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia)
,
Pradityo K.
(Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia)
,
Tamba T.A.
(Dept. of Electrical Engineering (Mechatronics), Parahyangan Catholic University, Bandung, Indonesia)
,
Nazaruddin Y.Y.
(Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia)
,
Widyotriatmo A.
(Institut Teknologi Bandung, Instrumentation and Control Research Group, Bandung, Indonesia)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2018
号:
SICE
ページ:
392-397
発行年:
2018年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)