文献
J-GLOBAL ID:201902259929580907
整理番号:19A0516493
Iotiskanaler:モノのインターネットの形式的リスク分析のための確率モデル検査に基づくフレームワーク【JST・京大機械翻訳】
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
著者 (4件):
Mohsin Mujahid
(School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan)
,
Sardar Muhammad Usama
(School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan)
,
Hasan Osman
(School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan)
,
Anwar Zahid
(School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan)
資料名:
IEEE Access
(IEEE Access)
巻:
5
ページ:
5494-5505
発行年:
2017年
JST資料番号:
W2422A
ISSN:
2169-3536
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)