Dec. Jan. 2018 Feb.
SunMonTueWedThuFriSat
31010203040506
07080910111213
14 151617181920
21222324252627
28293031010203
Click Seminar

TOPICS (Detail)

Publishing dayAugust 8, 2017 12:40:40 By minato
Title

Received the Best Paper Award of PECCS/PEC 2017

ContentThe paper "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking" written by Reona Minoda and Shin-ichi Minato received the Best Paper Award of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017).