奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 学内論文・講義資料

Automatic Approach to Prepare Information for Constructing an Assurance Case PDF

Khana Chindamaikul, Toshinori Takai, Daniel Port, Hajimu Iida

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

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 PDF   電子化情報 TR R011466   0
刊年 : 2014
シリーズ名 :

Information Science Technical Report ; TR2014002

標題言語 : (eng)
本文言語 : (eng)
著者情報 :

Chindamaikul, Khana

高井, 利憲 (タカイ, トシノリ)

Port, Daniel

飯田, 元 (イイダ, ハジム)