Thesis or Dissertation Enhancing System Reliability using Abstraction and Efficient Logical Computation

Kutsuna, Takuro

2015-09-24 , 京都大学 (Kyoto University)
Description
新制・課程博士
甲第19335号
情博第587号
Full-Text

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

Number of accesses :  

Other information