Reona MINODA


Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
Reona MINODA Shin-ichi MINATO 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6  pp. 1172-1181
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal techniques
Keyword: 
ubiquitous computingcatalytic reaction networkformal verificationmodel checkingsmart object
 Summary | Full Text:PDF(1.5MB)