受賞

  1. アーカイブ

Awards

情報科学研究科 蓑田 玲緒奈さん(博士3年),湊真一教授がthe 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems(PECCS/PEC 2017)のBest Paper Awardを受賞しました。

受賞日: 2017年7月26日
氏名 職名/学年: 蓑田 玲緒奈 博士3年*1
         湊 真一 教授*2
所属: *1情報科学研究科 コンピュータサイエンス専攻 知識ソフトウェア科学講座 大規模知識処理研究室
    *2情報科学研究科 情報理工学専攻 知識ソフトウェア科学講座 大規模知識処理研究室
授与団体: the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems(PECCS/PEC 2017)
賞名: Best Paper Award
受賞論文名,研究題目名または受賞理由:
「Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking (記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的検証)」
問い合わせ先: Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp(湊真一)

受賞一覧へ