Jump to main content

yr 〜
yr

Search results 2

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
Digital文書・図像類
山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-
Other Libraries in Japan
  • Subject Heading組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可...
  • Note (General)...有している．本研究では，①動的ハイブリッドオートマトンの開発，②その抽象化精錬検証の開発により，コタスクの生成消滅...

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
Digital文書・図像類
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2005-03平成16(2004)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report2002-2004p.182p.-
Other Libraries in Japan
  • Subject Heading...エンプティブスケジューラ 確率ハイブリッドオートマトン hybrid model embedded systems...
  • Note (General)...確率の概念を導入して、確率線形ハイブリッドオートマトンを開発して、その記号的な検証理論を開発した。 Hybrid ...

Reached to the end of result.

RSS