A-12-6 記号実行によるプログラムからの決定表抽出(A-12.システム数理と応用,一般セッション)
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-08-30
著者
関連論文
- モデルに基づくプラント制御ロジック生成支援システム
- 想定外事態に対処する制御エキスパートシステムの構築
- モデルに基づく診断トレース機構 : シーケンス制御プログラムへの適用
- モデルに基づく運転操作プランの生成機構を組み込んだプラント運転制御用エキスパートシステム
- 制御用エキスパートシステム : 定性的モデルに基づく診断機構
- AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- 診断型モデルベース推論シェルARES_/MBR
- CAIA'95参加報告
- A-12-6 記号実行によるプログラムからの決定表抽出(A-12.システム数理と応用,一般セッション)
- シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案