B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア)
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-09-04
著者
関連論文
- C-024 組込みシステムのソフトウェア障害予兆検出に適した挙動情報収集手法の検討(C分野:ハードウェア・アーキテクチャ,一般論文)
- C-027 長時間トレース技術を用いた組込みソフトウェア開発の効率向上に関する検討(ハードウェア・アーキテクチャ,一般論文)
- 組込みシステムトレース技術とその応用
- 組込みシステムトレース技術とその応用
- C-019 HDD向けキャッシュ性能シミュレーションによるI/O性能設計の一手法(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア)