信号設備の安全性に関する仕様検証手法の適用検討
書誌事項
- タイトル別名
-
- シンゴウ セツビ ノ アンゼンセイ ニ カンスル シヨウ ケンショウ シュホウ ノ テキヨウ ケントウ
- Application of Verification Methods to Specifications in Concern with Safety of Signaling Equipment
- 特集 輸送計画・情報技術
- トクシュウ ユソウ ケイカク ・ ジョウホウ ギジュツ
この論文をさがす
収録刊行物
-
- 鉄道総研報告 = RTRI report : 鉄道総合技術論文誌 / 鉄道総合技術研究所 監修
-
鉄道総研報告 = RTRI report : 鉄道総合技術論文誌 / 鉄道総合技術研究所 監修 27 (2), 35-40, 2013-02
国分寺 : 鉄道総合技術研究所
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520290883449480576
-
- NII論文ID
- 40019579412
-
- NII書誌ID
- AN1008252X
-
- ISSN
- 09142290
-
- NDL書誌ID
- 024267281
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZN23(科学技術--運輸工学--鉄道)
-
- データソース種別
-
- NDL
- CiNii Articles