形式的手法による鉄道保安制御システムの信頼性向上

カテゴリ: 部門大会

論文No: Y-143

グループ名: 【D】平成23年電気学会産業応用部門大会講演論文集

発行日: 2011/09/06

タイトル(英語): Reliability improvement of railway security system by formal method

著者名: 黒田 智也(日本大学),謝 国(日本大学),中村 英夫(日本大学),高橋 聖(日本大学)

著者名(英語): Tomoya Kuroda(Nihon University),Guo Xie(Nihon University),Hideo Nakamura(Nihon University),Sei Takahasi(Nihon University)

キーワード: 形式的手法|ATP閉塞システム|VDM++| Formal method|ATP Block System|VDM++

PDFファイルサイズ: 1,044 Kバイト