@techreport{weko_28244_1, author = "小林,康弘 and 高元,政典 and 山田,直之 and 狩野,泰信 and 中村,知治", title = "ディジタル装置用ソフトの設計検証のための一手法", year = "1990", institution = "(株)日立製作所エネルギー研究所, (株)日立製作所エネルギー研究所, (株)日立製作所エネルギー研究所, (株)日立製作所国分工場, (株)日立製作所国分工場", number = "81(1990-SLDM-054)", month = "oct" }