WEKO3
アイテム
A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)
https://ipsj.ixsq.nii.ac.jp/records/156912
https://ipsj.ixsq.nii.ac.jp/records/15691237c925c6-01e2-48c2-9477-20d6d8ff9670
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006542312.pdf (400.8 kB)
|
Copyright (c) 2007 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2007-08-22 | |||||||||
| タイトル | ||||||||||
| タイトル | A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A-031 A Meta Hardware Description Language "Melasy" for Model Checking system | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 信州大学大学院工学系研究科 | ||||||||||
| 著者所属 | ||||||||||
| 信州大学大学院工学系研究科 | ||||||||||
| 著者名 |
岩崎, 直木
× 岩崎, 直木
× 和崎, 克己
|
|||||||||
| 著者名(英) |
Iwasaki, Naoki
× Iwasaki, Naoki
× Wasaki, Katsumi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11740605 | |||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 6, 号 1, p. 71-74, 発行日 2007-08-22 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
