文献
J-GLOBAL ID:201702273326106156
整理番号:17A1465846
IEEE.802.15.4ネットワークの解析モデルのための検証ツールとしてのPRISMモデル検査器の利用【Powered by NICT】
Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks
著者 (1件):
Kapus Tatjana
(University of Maribor, Faculty of Electrical Engineering and Computer Science, Koroska c. 46, SI-2000 Maribor, Slovenia)
資料名:
Simulation Modelling Practice and Theory
(Simulation Modelling Practice and Theory)
巻:
77
ページ:
367-378
発行年:
2017年
JST資料番号:
W0733A
ISSN:
1569-190X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)