2018年3月14日
/ 最終更新日時 : 2018年3月14日
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