2010年度冬のLAシンポジウム 動的リアルタイムハイブリッドCEGARによる動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)
スポンサーリンク
概要
著者
関連論文
- 動的リアルタイムCEGAR(一般セッション)
- 動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
- 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
- 2010年度冬のLAシンポジウム 動的リアルタイムハイブリッドCEGARによる動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)