For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages
Reona MINODA Shin-ichi MINATO
IEICE TRANSACTIONS on Information and Systems
Full Text: PDF(835.1KB)