EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ

• 資料種別: 記事
• タイトル: EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
• 著者・編者: 中松 和己; 木内 洋介; 鈴木 淳之
• 著者標目: 中松 和己; 木内 洋介; 鈴木 淳之
• タイトル（掲載誌）: 電気学会研究会資料. ITS / ITS研究会 [編]
• 巻号年月日等（掲載誌）: 2004(10-21) 2004.3.2
• 掲載巻: 2004
• 掲載号: 10-21
• 掲載ページ: 13～20
• 掲載年月日（W3CDTF）: 2004-03-02
• 出版事項（掲載誌）: 東京 : 電気学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 真理値付き論理プログラム; ディフィージブル義務推論; 時相区間論理; Railway Interlocking Safety verification; Annotated logic program; Defeasible deontic reasoning; interval temporal logic
• NDLC: ZN33
• 対象利用者: 一般
• レポート番号（雑誌記事）: ITS-04-12
• 所蔵機関: 国立国会図書館
• 請求記号: Z74-C995
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 6920225; http://id.ndl.go.jp/bib/6920225
• 整理区分コード: 632