@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151481,
 author = {西田, 翔 and 魚住, 有記歌 and 和崎, 克己 and Nishida, Sho and Uozumi, Yukika and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {319--322},
 publisher = {情報処理学会},
 title = {C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)},
 volume = {11},
 year = {2012}
}