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
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
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
Related Documents
