「Model checking」を解説文に含む見出し語の検索結果(1～10/80件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:15 UTC 版)「モデル検査」の記事における「モデル検査ツール」の解説EmbeddedValidator...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
読み方：ありまもでる／えいあーるあいえむえいもでる【英】：ARIMA (autoregressive integrated moving average) model 概要 を非定常過程とし, を,,...
読み方：ありまもでる／えいあーるあいえむえいもでる【英】：ARIMA (autoregressive integrated moving average) model 概要 を非定常過程とし, を,,...
読み方：ありまもでる／えいあーるあいえむえいもでる【英】：ARIMA (autoregressive integrated moving average) model 概要 を非定常過程とし, を,,...
読み方：ありまもでる／えいあーるあいえむえいもでる【英】：ARIMA (autoregressive integrated moving average) model 概要 を非定常過程とし, を,,...
別表記：クアドルプル「quadruple」とは・「quadruple」の意味「quadruple」とは、何かを4倍にすることや、4つの要素から成ることを意味する英単語である。「double」や「tri...
別表記：クアドルプル「quadruple」とは・「quadruple」の意味「quadruple」とは、何かを4倍にすることや、4つの要素から成ることを意味する英単語である。「double」や「tri...
形式等価判定（けいしきとうかはんてい、（英: formal equivalence checking）は EDAの一部であり、デジタル集積回路の開発過程において、ある回路設計についての2つの表...
< 前の結果 | 次の結果 >