2010年度冬のLAシンポジウム 動的リアルタイムハイブリッドCEGARによる動的再構成可能組込みシステムの設計検証

• 酒井 誠

• 山根 智

書誌事項

タイトル別名

• 2010ネンド フユ ノ LA シンポジウム ドウテキ リアルタイム ハイブリッド CEGAR ニ ヨル ドウテキ サイコウセイ カノウ クミコミ システム ノ セッケイ ケンショウ
• 計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集
• ケイサンキ カガク ト アルゴリズム ノ スウリテキ キソ ト ソノ オウヨウ RIMS ケンキュウ シュウカイ ホウコクシュウ

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 (1744), 15-24, 2011-06

  [京都] : 京都大学数理解析研究所

詳細情報

• CRID: 1520009410027180160
• NII論文ID: 110008581424
• NII書誌ID: AN00061013
• ISSN: 18802818
• NDL書誌ID: 11160349
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I11160349
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM31(科学技術--数学)
• データソース種別:
  • NDL
  • CiNii Articles