Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) 川村 一志 and 柳澤 政生 and 戸川 望,信頼性と時間オーバーヘッド間のトレードオフを考慮した面積制約にもとづくRDRアーキテクチャ向けフォールトセキュア高位合成手法,電子情報通信学会技術研究報告 = IEICE technical report : 信学技報,09135685,東京 : 電子情報通信学会,2013-11,113,320,129-134,https://cir.nii.ac.jp/crid/1520290885121114752,