学生研究発表：向井俊矢，松木伸伍（コンピュータデザイン研究室）


向井俊矢君，松木伸伍君（博士戦記課程2年）が下記のように研究発表を行いました．

  • 研究会名：ディペンダブルコンピューティング研究会
  • 開催日時：2013年2月12日
  • 開催場所：機械振興会館
  • 発表タイトル：
    松木：エラートレラントアプリケーションのための論理回路簡単化における必須割当てを利用した許容故障判定法
    向井： 解の再利用によるテスト生成のためのハードウェアSATソルバの実装