Common System Descriptions オ モチイタ ハードウェア カイハツ
川村敦史
生駒 : 奈良先端科学技術大学院大学, 1997.3
1
R000536
2
禁帯出
1997
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1997年3月
学位記番号: 修第449号
授与年月日: 1997/03/24
学位の種類: 修士(工学)
学生番号: 9551026
日本語 (jpn)
川村, 敦史 (カワムラ, アツフミ)
Formal method
ハードウェア／ソフトウェア協調設計
RAISE
VHDL
ML
Formal methodハードウェア／ソフトウェア協調設計RAISEVHDLML
