記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証

蓑田 玲緒奈  湊 真一  

誌名:   電子情報通信学会論文誌 D
早期公開日: 2017/12/04
DOI: 10.14923/transinfj.2017PDP0037
本文: PDF(935.8KB)