Asia-Pacific Symposium on Information and Telecommunication Technologies
2015
Session Number:SS-5
Session:
Number:SS-5-3
Performance Evaluation of Device Discovery in Bluetooth LE with Probabilistic Model Checking
Yusuke Matsuo, Daisuke Umehara, Hidekazu Murata, Satoshi Denno,
pp.-
Publication Date:2015/8/4
Online ISSN:2188-5079