コトナル ヘイレツド オ モツ ヘイレツ プロセスカン ノ ヘンカン シュホウ
喜家村奨
生駒 : 奈良先端科学技術大学院大学, 2000.9
1
R001727
2
禁帯出
2000
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2000年9月
学位記番号: 修第1454号
授与年月日: 2000/09/29
学位の種類: 修士(工学)
学生番号: 9851202
日本語 (jpn)
喜家村, 奨 (キヤムラ, ススム)
並列システム
遷移システム(LTS)
要求仕様
実装レベル仕様
双模倣等価
並列システム遷移システム(LTS)要求仕様実装レベル仕様双模倣等価
