international academy, research, and industry association best … · 2016. 12. 15. ·...
TRANSCRIPT
-
International Academy, Research, and Industry Association
Best Paper AwardVerifying Scenarios of Proximity-based Federations among
Smart Objects through Model CheckingBy
Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato
Presented during UBICOMM 2016, The Tenth International Conference on Mobile Ubiquitous Computing, Systems,Services and Technologies, held in Venice, Italy during October 9 - 13, 2016