WEKO3
アイテム
C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
https://ipsj.ixsq.nii.ac.jp/records/151481
https://ipsj.ixsq.nii.ac.jp/records/1514811a9c7c15-dd9c-4dd5-a5e0-fb95c1ee8c3b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00008742407.pdf (277.6 kB)
|
Copyright (c) 2012 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-09-04 | |||||||||||
| タイトル | ||||||||||||
| タイトル | C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | C-026 Design, Verification and NuSMV Code Generation based on A Meta Hardware Description Language : Melasy+ | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 信州大学大学院工学系研究科 | ||||||||||||
| 著者所属 | ||||||||||||
| 株式会社スターインフォテック | ||||||||||||
| 著者所属 | ||||||||||||
| 信州大学工学部 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Graduate School of Science and Technology,Shinshu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Star Info Tech Co.,Ltd. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Faculty of Engineering,Shinshu University | ||||||||||||
| 著者名 |
西田, 翔
× 西田, 翔
× 魚住, 有記歌
× 和崎, 克己
|
|||||||||||
| 著者名(英) |
Nishida, Sho
× Nishida, Sho
× Uozumi, Yukika
× Wasaki, Katsumi
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 11, 号 1, p. 319-322, 発行日 2012-09-04 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
