Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
['Reona MINODA', 'Shin-ichi MINATO']
/
IEICE Transactions in Information and Systems
/ Vol. 100
/ No. 6
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？