蓑田 玲緒奈


記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証
蓑田 玲緒奈 湊 真一 
誌名:   
発行日: 2018/03/01
Vol. J101-D  No. 3  pp. 470-480
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェアシステム
キーワード: 
ユビキタスコンピューティング触媒反応ネットワーク形式検証記号モデル検査スマートオブジェクト
 あらまし | 本文:PDF(1.1MB)