International Academy, Research, and Industry Association Best … · 2016. 12. 15. ·...
1
International Academy, Research, and Industry Association Best Paper Award Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking By 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
Transcript of International Academy, Research, and Industry Association Best … · 2016. 12. 15. ·...
-
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