スウリテキ シュホウ ノ ライフ サイクル プロセス シンライセイ コウジョウ エノ コウカ : フグアイ ジレイ ブンセキ ニ モトズク コウサツ
加藤孝
生駒 : 奈良先端科学技術大学院大学, 2012.3
1
R008956
2
禁帯出
2012
Effectiveness of Mathematical Methods for Reliability in Life-cycle Process
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2012年3月
学位記番号: 修第5248号
学位授与年月日: 2012/3/23
学位の種類: 修士(工学)
学生番号: 1051030
日本語 (jpn)
加藤, 孝 (カトウ, タカシ)
不具合事例分析
数理的手法
形式手法
半形式手法
充足可能性判定
不具合事例分析数理的手法形式手法半形式手法充足可能性判定
