北井 智也 | 東京工業大学大学院情報理工学研究科計算工学専攻

スポンサーリンク

概要

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

関連著者

• 米田 友洋

  国立情報学研究所

• 米田 友洋

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

• 北井 智也

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

著作論文

• Failure trace解析に基づくGasP回路の形式的検証
• 星状抽象ペトリネットの解析に関する研究
• 星状抽象ペトリネットの解析に関する研究
• 星状抽象ペトリネットの解析に関する研究
• ZBDDとpartial order reductionに基づく非同期式回路検証方式について

スポンサーリンク