Jun. Jui. 2018 Aug.
SunMonTueWedThuFriSat
01 02 03 04 050607
080910 11121314
15161718192021
22232425262728
29303101020304
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).