101st (Aug, 2016)
Conference information
Host: The Japanese Society for Artificial intelligence
Name : 101st SIG-FPAI
Number : 101
Location : [in Japanese]
Date : August 07, 2016 - August 08, 2016
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking
Pages 02-
Details
Article 1st page
