Z ニ オケル シヨウ キジュツ ヘンカン ニ カンスル ケンキュウ ヘンカン ニヨル モデル ケイセイ シエン
張漢明
生駒 : 奈良先端科学技術大学院大学, 1995.3
1
R000071
2
禁帯出
1995
56p
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1995年3月
学位記番号: 修第33号
授与年月日: 1995/03/24
学位の種類: 修士(工学)
学生番号: 0351066
日本語 (jpn)
張, 漢明 (チョウ, カンメイ)
形式的手法
仕様記述
モデル化
変換
Z
形式的手法仕様記述モデル化変換Z
