ダウンロード数: 227
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| yjohk00587.pdf | Abstract_要旨 | 181.08 kB | Adobe PDF | 見る/開く |
| djohk00587.pdf | Dissertation_全文 | 2.27 MB | Adobe PDF | 見る/開く |
| タイトル: | Enhancing System Reliability using Abstraction and Efficient Logical Computation |
| その他のタイトル: | 抽象化技術と高速な論理演算を利用したシステムの高信頼化 |
| 著者: | Kutsuna, Takuro |
| 著者名の別形: | 沓名, 拓郎 |
| キーワード: | Embedded system Test case generation Anomaly detection Diagnosis Satisfiability Binary decision diagram |
| 発行日: | 24-Sep-2015 |
| 出版者: | 京都大学 (Kyoto University) |
| 学位授与大学: | 京都大学 |
| 学位の種類: | 新制・課程博士 |
| 取得分野: | 博士(情報学) |
| 報告番号: | 甲第19335号 |
| 学位記番号: | 情博第587号 |
| 学位授与年月日: | 2015-09-24 |
| 請求記号: | 新制||情||102(附属図書館) |
| 整理番号: | 32337 |
| 研究科・専攻: | 京都大学大学院情報学研究科知能情報学専攻 |
| 論文調査委員: | (主査)教授 山本 章博, 教授 鹿島 久嗣, 教授 五十嵐 淳 |
| 学位授与の要件: | 学位規則第4条第1項該当 |
| 著作権等: | 許諾条件により本文は2016-06-24に公開 |
| DOI: | 10.14989/doctor.k19335 |
| URI: | http://hdl.handle.net/2433/202740 |
| 出現コレクション: | 140 博士(情報学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。