鉄道信号システムの連動論理検証
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1998-10-05
著者
関連論文
- D-3-2 鉄道信号システムの連動仕様における実時間的性質の検証
- モデル検査法を用いた鉄道信号システムの連動仕様検証
- モデル検査法を用いた鉄道信号システムの連動仕様検証
- 鉄道信号システムの連動論理検証
- 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)
- カウンタを用いたunfold/fold技法によるPrologプログラムの変換
- 一般化したUnfold/Fold技法を用いたPrologプログラムの変換合成
- GHCによる時制論理の証明系の作成
- 帰納論理プログラミング : 論理プログラムの帰納的一般化を中心に
- Implicitな定義からの変換によるPrologプログラムの導出