Formal verification of high-level design based on control/data separation 高位設計に対する制御と演算の分離による形式的検証
この論文をさがす
著者
書誌事項
- タイトル
-
Formal verification of high-level design based on control/data separation
- タイトル別名
-
高位設計に対する制御と演算の分離による形式的検証
- 著者名
-
西原, 佑
- 著者別名
-
ニシハラ, タスク
- 学位授与大学
-
東京大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第25719号
- 学位授与年月日
-
2010-03-24
注記・抄録
博士論文