@techreport{weko_70124_1, author = "鴫原,一人 and 眞弓,友宏 and 本田,晋也 and 高田,広章", title = "マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール", year = "2010", institution = "名古屋大学, 名古屋大学/現所属(株) デンソークリエイト, 名古屋大学, 名古屋大学", number = "1", month = "aug" }