文献
J-GLOBAL ID:201702219246919720
整理番号:17A0023614
ROBDDに基づくバリスの技術資料安全規則の充足可能性検証【Powered by NICT】
Satisfiability verification of engineering data safety rules of balise based on ROBDD
著者 (3件):
Tongdian Wang
(State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, China)
,
Huibing Zhao
,
Linfu Zhu
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2016
号:
ITSC
ページ:
2386-2391
発行年:
2016年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)