D-3-2 鉄道信号システムの連動仕様における実時間的性質の検証

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 1999-03-08

著者

• 川村 正

  三菱電機(株)先端技術総合研究所

• 川村 正

  三菱電機(株)中央研究所

関連論文

• D-3-2 鉄道信号システムの連動仕様における実時間的性質の検証
• モデル検査法を用いた鉄道信号システムの連動仕様検証
• モデル検査法を用いた鉄道信号システムの連動仕様検証
• 鉄道信号システムの連動論理検証
• 帰納論理プログラミング : 論理プログラムの帰納的一般化を中心に

スポンサーリンク