Fault tree analysis and formal methods for requirements engineering

書誌事項

Fault tree analysis and formal methods for requirements engineering

by Jianwen Xiang

Jianwen Xiang, 2005

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2005, 博情第151号

詳細情報

  • NII書誌ID(NCID)
    BA79899362
  • 出版国コード
    ja
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [Nomi, Ishikawa]
  • ページ数/冊数
    viii, 145 p.
  • 大きさ
    30 cm
ページトップへ