富坂 稔 | 東京工業大学大学院情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 富坂 稔の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科計算工学専攻の論文著者

関連著者

• 米田 友洋

  国立情報学研究所

• 米田 友洋

  東京工業大学大学院情報理工学研究科計算工学専攻

• 富坂 稔

  東京工業大学大学院情報理工学研究科計算工学専攻

• 増倉 孝一

  東京工業大学大学院情報理工学研究科計算工学専攻:(現)東芝研究開発センター

• 米田 友洋

  国立情報学研究所アーキテクチャ科学研究系

著作論文

• ZBDDに基づく非同期式回路の検証方式
• ZBDDを用いた検証方式におけるpartial order reductionの適用について

スポンサーリンク