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).
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1996-07-01
著者
関連論文
- 制約条件を効率的に処理する推論方式の開発と計画問題への応用
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- モジュール型知識情報処理システム(2) : 対象知識の入力支援法
- モジュール型知識情報処理システム(1) : 情報処理モジュール構成法
- 制御ソフト高信頼化設計技術の開発
- 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).