サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

信号設備の安全性に関する仕様検証手法の適用検討

寺田 夏樹,遠山 喬

詳細情報

タイトル 信号設備の安全性に関する仕様検証手法の適用検討
著者 寺田 夏樹
著者 遠山 喬
シリーズ名 特集 輸送計画・情報技術
出版年 2013-02
別タイトル Application of Verification Methods to Specifications in Concern with Safety of Signaling Equipment
件名(キーワード) ソフトウェア
件名(キーワード) 形式手法
件名(キーワード) 単線自動閉そく装置
件名(キーワード) Bメソッド
件名(キーワード) SMTソルバ
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 09142290
掲載誌情報(ISSNL形式) 09142290
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000059683-00
掲載誌名 鉄道総研報告 = RTRI report : 鉄道総合技術論文誌 / 鉄道総合技術研究所 監修
掲載巻 27
掲載号 2
掲載ページ 35-40
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで