ジョウタイ センイ モデル ニ モトズク プロセス シヨウ ニ オケル トウタツ カノウセイ カイセキ ノ コウリツカ
高原大介
生駒 : 奈良先端科学技術大学院大学, 1997.3
1
R000566
2
禁帯出
1997
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1997年3月
学位記番号: 修第414号
授与年月日: 1997/03/24
学位の種類: 修士(工学)
学生番号: 9551058
日本語 (jpn)
高原, 大介 (タカハラ, ダイスケ)
仕様検証
到達可能性グラフ
状態遷移
検証項目
仕様分解
仕様検証到達可能性グラフ状態遷移検証項目仕様分解
