メンバー紹介 - Takehiko Nagano, Kazuyoshi Serizawa, Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga: Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function, The Tenth International Conference on Software Engineering Advances (ICSEA), pp.31-39

Takehiko Nagano, Kazuyoshi Serizawa, Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga: Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function, The Tenth International Conference on Software Engineering Advances (ICSEA), pp.31-39