@techreport{weko_62559_1,
   author	 = "青木,利晃 and NGUYENTamThiMinh",
   title	 = "モデル検査による設計検証と整合テスト",
   year 	 = "2009",
   institution	 = "北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学",
   number	 = "4",
   month	 = "jul"
}