基盤(S)離散構造処理系プロジェクト(北海道大学サイト) セミナー
07 2018/08 09
29303101020304
05060708091011
12131415161718
19202122232425
26272829303101
Click セミナー

トピックス (詳細)

掲載日2017年8月8日 12:40:40 By minato
タイトル

PECCS/PEC 2017 Best Paper Award 受賞

内容以下の論文が the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017) の Best Paper Award を受賞しました。

Reona Minoda, Shin-ichi Minato:
"Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking"