Mar. Apr. 2018 May
SunMonTueWedThuFriSat
01020304050607
08091011121314
15 16 17 18 19 2021
22232425262728
29300102030405
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).