Enhancing System Reliability using Abstraction and Efficient Logical Computation 抽象化技術と高速な論理演算を利用したシステムの高信頼化
Access this Article
Author
Bibliographic Information
- Title
-
Enhancing System Reliability using Abstraction and Efficient Logical Computation
- Other Title
-
抽象化技術と高速な論理演算を利用したシステムの高信頼化
- Author
-
Kutsuna, Takuro
- University
-
京都大学
- Types of degree
-
博士(情報学)
- Grant ID
-
甲第19335号
- Degree year
-
2015-09-24
Note and Description
元資料の権利情報 : 許諾条件により本文は2016-06-24に公開
Table of Contents
- 2016-07-07 再収集 (2コマ目)
- 2021-05-25 再収集 (3コマ目)
- 2021-05-25 再収集 (4コマ目)
- 2023-09-05 再収集 (5コマ目)
- 2023-09-05 再収集 (6コマ目)