Enhancing System Reliability using Abstraction and Efficient Logical Computation / 抽象化技術と高速な論理演算を利用したシステムの高信頼化

Description

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19335号 / 情博第587号 / 新制||情||102(附属図書館) / 32337 / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授 山本 章博, 教授 鹿島 久嗣, 教授 五十嵐 淳 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Links & Downloads

1. http://hdl.handle.net/2433/202740
2. 14301甲第19335号
3. 10.14989/doctor.k19335
4. 14301

Tags

Embedded system

Test case generation

Anomaly detection

Diagnosis

Satisfiability

Binary decision diagram

007

Additional Fields

Identifer	oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/202740
Date	24 September 2015
Creators	Kutsuna, Takuro
Contributors	山本, 章博, 鹿島, 久嗣, 五十嵐, 淳, 沓名, 拓郎, クツナ, タクロウ
Publisher	京都大学 (Kyoto University), 京都大学
Source Sets	Kyoto University
Language	English
Detected Language	English
Type	doctoral thesis, Thesis or Dissertation
Format	application/pdf
Rights	許諾条件により本文は2016-06-24に公開