文献
J-GLOBAL ID:202002241311408546
整理番号:20A1004116
信頼および評判システムにおけるロバスト性特性のモデル検査【JST・京大機械翻訳】
Model checking of robustness properties in trust and reputation systems
著者 (2件):
Ghasempouri Seyed Asgary
(Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran)
,
Tork Ladani Behrouz
(Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran)
資料名:
Future Generation Computer Systems
(Future Generation Computer Systems)
巻:
108
ページ:
302-319
発行年:
2020年
JST資料番号:
A0620C
ISSN:
0167-739X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)