| 大会名称 |
|---|
| 2012年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2012 |
| 発行日 |
| 2012/8/21 |
| セッション番号 |
| 5C |
| セッション名 |
| ディペンダブルシステム |
| 講演日 |
| 2012/09/05 |
| 講演場所(会議室等) |
| 西館3F W306 |
| 講演番号 |
| C-026 |
| タイトル |
| 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証 |
| 著者名 |
| 西田 翔, 魚住 有記歌, 和崎 克己, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (278.9KB) |
| 大会名称 |
|---|
| 2012年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2012 |
| 発行日 |
| 2012/8/21 |
| セッション番号 |
| 5C |
| セッション名 |
| ディペンダブルシステム |
| 講演日 |
| 2012/09/05 |
| 講演場所(会議室等) |
| 西館3F W306 |
| 講演番号 |
| C-026 |
| タイトル |
| 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証 |
| 著者名 |
| 西田 翔, 魚住 有記歌, 和崎 克己, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (278.9KB) |