Enhancing System Reliability using Abstraction and Efficient Logical Computation 抽象化技術と高速な論理演算を利用したシステムの高信頼化
この論文にアクセスする
著者
書誌事項
- タイトル
-
Enhancing System Reliability using Abstraction and Efficient Logical Computation
- タイトル別名
-
抽象化技術と高速な論理演算を利用したシステムの高信頼化
- 著者名
-
Kutsuna, Takuro
- 学位授与大学
-
京都大学
- 取得学位
-
博士(情報学)
- 学位授与番号
-
甲第19335号
- 学位授与年月日
-
2015-09-24
注記・抄録
元資料の権利情報 : 許諾条件により本文は2016-06-24に公開
目次
- 2016-07-07 再収集 (2コマ目)
- 2021-05-25 再収集 (3コマ目)
- 2021-05-25 再収集 (4コマ目)
- 2023-09-05 再収集 (5コマ目)
- 2023-09-05 再収集 (6コマ目)