オチ ヒロユキ
越智 裕之
OCHI HIROYUKI
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 1996/10
形態種別 研究論文(学術雑誌)
査読 査読あり
標題 Formal Design Verification of Combinational Circuits Specified by Recurrence Equations
執筆形態 共著
掲載誌名 IEICE Trans. Inf. and Syst.
巻・号・頁 Vol.E79-D(10),(1431-1435)
著者・共著者 Hiroyuki Ochi and Shuzo Yajima