@phdthesis{oai:nagoya.repo.nii.ac.jp:00026539, author = {鴫原, 一人}, month = {Sep}, school = {名古屋大学, Nagoya University}, title = {高信頼性システム向けリアルタイムOSのテスト手法}, year = {2018} }