佐々木 俊 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
東野 輝夫
大阪大学大学院情報科学研究科
-
谷本 匡亮
大阪大学大学院情報科学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
佐々木 俊
大阪大学大学院情報科学研究科
-
中田 明夫
広島市立大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報学研究科
著作論文
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用