文献
J-GLOBAL ID:201802288491338676
整理番号:18A1130852
確率論理CSL-TAの効率的モデル検査【JST・京大機械翻訳】
Efficient model checking of the stochastic logic CSLTA
著者 (2件):
Amparore E.G.
(Dipartimento di Informatica, Universita di Torino, Italy)
,
Donatelli S.
(Dipartimento di Informatica, Universita di Torino, Italy)
資料名:
Performance Evaluation
(Performance Evaluation)
巻:
123-124
ページ:
1-34
発行年:
2018年
JST資料番号:
C0647B
ISSN:
0166-5316
CODEN:
PEEVD9
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)