齊藤 義勝 | 大阪大学大学院基礎工学研究科情報数理系専攻
スポンサーリンク
概要
関連著者
-
北道 淳司
大阪大学大学院基礎工学研究科
-
船曵 信生
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
大阪大学大学院基礎工学研究科情報数理系専攻
-
齊藤 義勝
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
-
竹中 崇
日本電気株式会社システムIPコア研究所
-
北道 淳司
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
日本電気株式会社
著作論文
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)