Ngo Van Chan について
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213, USA について
Legay Axel について
Inria Rennes - Bretagne Atlantique, Rennes, 35042, France について
Journal of Software: Evolution and Process について
監視装置 について
信頼性 について
モデル検査 について
大規模系 について
シミュレーション について
モデリング について
確率モデル について
相互作用 について
アルゴリズム について
組込みシステム について
システム特性 について
線形時間論理 について
有界 について
状態空間 について
SystemC について
確率的時間的主張 について
プログラム検証 について
実行時検証 について
統計的モデル検査 について
SystemCモデル について
計算理論 について
応用プログラミング言語 について
統計 について
モデル検査 について
確率 について
SystemC について
モデル について
形式的検証 について