@inproceedings{weko_156912_1, author = "岩崎,直木 and 和崎,克己", title = "A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2007", volume = "6", number = "1", pages = "71--74", month = "aug" }