所属索引

お
大分大・工
すす粒子計算に関する研究
大阪学院大・情報
機能的時間展開モデルを用いたテスト生成のためのバインディング法
大阪学院大・情報
セキュアスキャン設計のための強セキュアなシフトレジスタ等価回路の列挙
大阪学院大・情報
演算器入出力順序深度削減向けバインディング法
大阪大・情報科
モデル検査器を用いたコンセンサスアルゴリズムの検証