このアイテムのアクセス数: 84

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
yjohk00587.pdfAbstract_要旨181.08 kBAdobe PDF見る/開く
djohk00587.pdfDissertation_全文2.27 MBAdobe 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)
学位授与大学: Kyoto University (京都大学)
学位の種類: 新制・課程博士
取得分野: 博士(情報学)
報告番号: 甲第19335号
学位記番号: 情博第587号
請求記号: 新制||情||102(附属図書館)
整理番号: 32337
研究科・専攻: 京都大学大学院情報学研究科知能情報学専攻
論文調査委員: (主査)教授 山本 章博, 教授 鹿島 久嗣, 教授 五十嵐 淳
学位授与の要件: 学位規則第4条第1項該当
著作権等: 許諾条件により本文は2016-06-24に公開
DOI: 10.14989/doctor.k19335
URI: http://hdl.handle.net/2433/202740
出現コレクション:博士(情報学)

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。