文献
J-GLOBAL ID:201802228635422955
整理番号:18A0609896
統計的モデル検査による確率SystemCモデルの形式的検証【Powered by NICT】
Formal verification of probabilistic SystemC models with statistical model checking
著者 (2件):
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
(Journal of Software: Evolution and Process)
巻:
30
号:
3
ページ:
ROMBUNNO.1890
発行年:
2018年
JST資料番号:
W0214A
ISSN:
2047-7473
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)