A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker

スポンサーリンク

概要

• 論文の詳細を見る
• FIT(電子情報通信学会・情報処理学会)推進委員会の論文
• 2002-09-13

著者

• WASAKI Katsumi

  Faculty of Engineering, Shinshu University

• Wasaki Katsumi

  Faculty Of Engineering Shinshu University

• Bancerek Grzegorz

  Institute of Computer Science, University of Bialystok

• Bancerek Grzegorz

  Institute Of Computer Science University Of Bialystok

• Yamaguchi Shin'nosuke

  Faculty Of Engineering Shinshu University

関連論文

• Development and Evaluation of a Long-range 300-m Leaky Coaxial Cable in the 2.4-GHz Band for IEEE 802.11b/g Wireless Network Access
• A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker

スポンサーリンク