@phdthesis{oai:nagoya.repo.nii.ac.jp:00017301,
 author = {石川, 拓也},
 month = {Dec},
 school = {名古屋大学, Nagoya University},
 title = {組込みリアルタイムシステムにおけるメモリ保護機能対応プラットフォームおよび確率的応答時間解析},
 year = {2013}
}