検索結果 2 件
デジタル文書・図像類
全国の図書館
- 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可...
- 一般注記...有している.本研究では,①動的ハイブリッドオートマトンの開発,②その抽象化精錬検証の開発により,コタスクの生成消滅...
デジタル文書・図像類
全国の図書館
- 件名...エンプティブスケジューラ 確率ハイブリッドオートマトン hybrid model embedded systems...
- 一般注記...確率の概念を導入して、確率線形ハイブリッドオートマトンを開発して、その記号的な検証理論を開発した。 Hybrid ...
検索結果は以上です。