@techreport{weko_80825_1, author = "田中,翔 and 柳澤,政生 and 戸川,望", title = "RDRアーキテクチャを対象とした部分2重化フォールトセキュア高位合成手法", year = "2012", institution = "早稲田大学大学院基幹理工学研究科情報理工学専攻, 早稲田大学大学院基幹理工学研究科電子光システム学専攻, 早稲田大学大学院基幹理工学研究科情報理工学専攻", number = "4", month = "feb" }