IoT Modeling and Verification: From the CaIT Calculus to UPPAAL
['Ningning CHEN', 'Huibiao ZHU']
/
IEICE Transactions in Information and Systems
/ Vol. 106
/ No. 9
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？