@techreport{weko_183981_1,
   author	 = "斎藤,弘樹 and 富岡,洋一 and 北道,淳司",
   title	 = "安全プロセッサのための高信頼性RTOSの開発及びその評価",
   year 	 = "2017",
   institution	 = "会津大学大学院コンピュータ理工学研究科, 会津大学大学院コンピュータ理工学研究科, 会津大学大学院コンピュータ理工学研究科",
   number	 = "40",
   month	 = "oct"
}