フォーマル・メソッドの調査・研究-鉄道保安機器への応用に向けて-
| タイトル | フォーマル・メソッドの調査・研究-鉄道保安機器への応用に向けて- |
| 特集 | |
| 区分/部門 | 技術情報 |
| 著者 | 高橋一裕(日本信号(株))、森昌也(日本信号(株))、寺田夏樹((財)鉄道総合技術研究所)、福田光芳((財)鉄道総合技術研究所) |
| Vol. | Vol.9 |
| No. | No.4(通巻35号) |
| キーワード | |
| 発行物 | サイバネティクス2004年10月号 |
| 発行年月 | 2004年10月 |
| タイトル | フォーマル・メソッドの調査・研究-鉄道保安機器への応用に向けて- |
| 特集 | |
| 区分/部門 | 技術情報 |
| 著者 | 高橋一裕(日本信号(株))、森昌也(日本信号(株))、寺田夏樹((財)鉄道総合技術研究所)、福田光芳((財)鉄道総合技術研究所) |
| Vol. | Vol.9 |
| No. | No.4(通巻35号) |
| キーワード | |
| 発行物 | サイバネティクス2004年10月号 |
| 発行年月 | 2004年10月 |