ディジタルATC用データベースの設計 －車上インテリジェント型ATCのデータベースにフォーマルメソッドを適用－
| 発行物 | シンポジウム論文 |
| 回 | 第37回 |
| 発行年月 | 2000年11月 |
| 区分 | Ⅵ線路・電気及びその他設備 |
| 課題 | 3．制御システム |
| 論文番号 | 619 |
| タイトル | ディジタルATC用データベースの設計 －車上インテリジェント型ATCのデータベースにフォーマルメソッドを適用－ |
| 著者 | 福田光芳（（財）鉄道総合技術研究所）、渡辺郁夫（（財）鉄道総合技術研究所）、萩野隆彦（（財）鉄道総合技術研究所）、寺田夏樹（（財）鉄道総合技術研究所）、平尾裕司（（財）鉄道総合技術研究所） |
| キーワード | 0 |
