• Top
  • Details (Local collection)
数理的手法のライフサイクルプロセス信頼性向上への効果 : 不具合事例分析に基づく考察

数理的手法のライフサイクルプロセス信頼性向上への効果 : 不具合事例分析に基づく考察

スウリテキ シュホウ ノ ライフ サイクル プロセス シンライセイ コウジョウ エノ コウカ : フグアイ ジレイ ブンセキ ニ モトズク コウサツ

加藤孝

生駒 : 奈良先端科学技術大学院大学, 2012.3

Thesis / Diss.

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R008956

2

  • [IS]2012(2)

Restricted

Details

Publication year

2012

Alternative title

Effectiveness of Mathematical Methods for Reliability in Life-cycle Process

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2012年3月

Note

学位記番号: 修第5248号

学位授与年月日: 2012/3/23

学位の種類: 修士(工学)

学生番号: 1051030

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

加藤, 孝 (カトウ, タカシ)

Subject

不具合事例分析

数理的手法

形式手法

半形式手法

充足可能性判定