ダウンロード数: 199
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| yjohk00587.pdf | Abstract_要旨 | 181.08 kB | Adobe PDF | 見る/開く |
| djohk00587.pdf | Dissertation_全文 | 2.27 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.advisor | 山本, 章博 | - |
| dc.contributor.advisor | 鹿島, 久嗣 | - |
| dc.contributor.advisor | 五十嵐, 淳 | - |
| dc.contributor.author | Kutsuna, Takuro | en |
| dc.contributor.alternative | 沓名, 拓郎 | ja |
| dc.contributor.transcription | クツナ, タクロウ | ja-Kana |
| dc.date.accessioned | 2015-12-18T07:43:29Z | - |
| dc.date.available | 2015-12-18T07:43:29Z | - |
| dc.date.issued | 2015-09-24 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/202740 | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | eng | - |
| dc.publisher | 京都大学 (Kyoto University) | ja |
| dc.publisher.alternative | 京都大学 | ja |
| dc.rights | 許諾条件により本文は2016-06-24に公開 | ja |
| dc.subject | Embedded system | en |
| dc.subject | Test case generation | en |
| dc.subject | Anomaly detection | en |
| dc.subject | Diagnosis | en |
| dc.subject | Satisfiability | en |
| dc.subject | Binary decision diagram | en |
| dc.subject.ndc | 007 | - |
| dc.title | Enhancing System Reliability using Abstraction and Efficient Logical Computation | en |
| dc.title.alternative | 抽象化技術と高速な論理演算を利用したシステムの高信頼化 | ja |
| dc.type | doctoral thesis | - |
| dc.type.niitype | Thesis or Dissertation | - |
| dc.textversion | ETD | - |
| dc.description.degreegrantor | 京都大学 | ja |
| dc.description.degreeuniversitycode | 0048 | - |
| dc.description.degreelevel | 新制・課程博士 | - |
| dc.description.degreediscipline | 博士(情報学) | ja |
| dc.description.degreereportnumber | 甲第19335号 | - |
| dc.description.degreenumber | 情博第587号 | - |
| dc.description.degreekucallnumber | 新制||情||102(附属図書館) | - |
| dc.description.degreeserialnumber | 32337 | - |
| dc.date.granted | 2015-09-24 | - |
| dc.description.degreeaffiliation | 京都大学大学院情報学研究科知能情報学専攻 | - |
| dc.description.degreeexamcommittee | (主査)教授 山本 章博, 教授 鹿島 久嗣, 教授 五十嵐 淳 | - |
| dc.description.degreeprovision | 学位規則第4条第1項該当 | - |
| dc.identifier.grantid | 14301甲第19335号 | - |
| dc.identifier.selfDOI | 10.14989/doctor.k19335 | - |
| dcterms.accessRights | open access | - |
| datacite.date.available | 2016-06-24 | - |
| dc.description.degreediscipline-en | Doctor of Informatics | en |
| dc.identifier.degreegrantorID | 14301 | - |
| dc.description.degreegrantor-en | Kyoto University | en |
| dc.description.degreeObjectType | DFAM | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Name | 山本, 章博 | ja |
| jpcoar.contributor.Name | 鹿島, 久嗣 | ja |
| jpcoar.contributor.Name | 五十嵐, 淳 | ja |
| 出現コレクション: | 140 博士(情報学) | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。