@techreport{weko_21158_1,
   author	 = "加藤,淳 and 星野,伸行 and 片平,真史 and 石濱,直樹 and 宮本,祐子 and 神武,直彦",
   title	 = "クリティカルソフトウェアに対するIV&V：Independent Verification and Validation",
   year 	 = "2007",
   institution	 = "有人宇宙システム株式会社, 有人宇宙システム株式会社, 有人宇宙システム株式会社, 宇宙航空研究開発機構, 宇宙航空研究開発機構, 宇宙航空研究開発機構",
   number	 = "33(2007-SE-155)",
   month	 = "mar"
}