モデル化技術によるMCU仕様検証と機能検証の自動化

研究課題

企業責任者	株式会社ルネサステクノロジ
研究責任者	木下佳樹独立行政法人産業技術総合研究所, システム検証研究センター, 研究センター長
研究期間 (年度)	2009 – 2011