CiNii Researchの本公開について

Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++

書誌事項

タイトル
Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++
著者
Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi,, Hideo Nakamura

収録刊行物

被引用文献 (0)

もっと見る

参考文献 (0)

もっと見る

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1010000782147269641
  • 資料種別
    journal article
  • データソース種別
    • KAKEN
ページトップへ