ゴール木に基づいた安全仕様の検証に関する研究

2016-03

内容記述

Supervisor:青木　利晃
情報科学研究科
修士

このアイテムのアクセス数：回

実行

その他の情報

著者キーワード	ゴール木 Goal-Tree KAOS法 KAOS
国立情報学研究所メタデータ主題語彙集（資源タイプ）	Thesis or Dissertation
言語	jpn
その他の資源識別子	https://dspace.jaist.ac.jp/dspace/handle/10119/13643
著者版フラグ	none
URL	http://jairo.nii.ac.jp/0023/00011116

ゴール木に基づいた安全仕様の検証に関する研究ゴール木に基づいた安全仕様の検証に関する研究