学位論文 Enhancing System Reliability using Abstraction and Efficient Logical Computation

Kutsuna, Takuro

2015-09-24 , Kyoto University
内容記述
新制・課程博士
甲第19335号
情博第587号
本文を読む

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/202740/1/yjohk00587.pdf

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/202740/2/djohk00587.pdf

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

その他の情報