@techreport{weko_80832_1,
   author	 = "松原,正裕 and 櫻井,康平 and 成沢,文雄 and 山中,久光",
   title	 = "ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法",
   year 	 = "2012",
   institution	 = "(株)日立製作所, (株)日立製作所, (株)日立製作所, 日立オートモティブシステムズ(株)",
   number	 = "11",
   month	 = "feb"
}