Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages

Reona MINODA  Shin-ichi MINATO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/03/07
DOI: 10.1587/transinf.2016FOP0009
Full Text: PDF(835.1KB)