文献
J-GLOBAL ID:201802275827513782
整理番号:18A0260465
一般化可能性測度に基づく線形時間特性の定量的モデル検査【Powered by NICT】
Quantitative model checking of linear-time properties based on generalized possibility measures
著者 (1件):
Li Yongming
(College of Computer Science, Shaanxi Normal University, Xi’an, 710062, China)
資料名:
Fuzzy Sets and Systems
(Fuzzy Sets and Systems)
巻:
320
ページ:
17-39
発行年:
2017年
JST資料番号:
H0731A
ISSN:
0165-0114
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)