制御ソフト高信頼化設計技術の開発

スポンサーリンク

概要

• 論文の詳細を見る
• 1998-09-09

著者

• 笠原 孝保

  日立製作所 電力・電機開発本部

関連論文

• 知識処理システム構築のための問題向き推論プログラム自動生成手法
• 制御ソフト高信頼化設計技術の開発
• Mandrioli, D.: Generating Test Cases for Real-Time Systems from Logic Specification, ACM Trans. on Computer Systems, Vol.13, No.4, pp.365-398 (1995).

スポンサーリンク