メンバー紹介 - ::ICSEA2015 「Best Paper Award」::
受賞論文：Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function
受賞者： Takehiko Nagano, Kazuyoshi Serizawa, Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga
学内サイト記事