| 大会名称 |
|---|
| 2002年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2002 |
| 発行日 |
| 2002/09/13 |
| セッション番号 |
| 1C |
| セッション名 |
| プログラムの理論 |
| 講演日 |
| 2002/09/25 |
| 講演場所(会議室等) |
| 西３号館W321講義室 |
| 講演番号 |
| B-2 |
| タイトル |
| 代数仕様言語CafeOBJにおけるモデル検査 |
| 著者名 |
| 中野 昌弘, 中村 正樹, 緒方 和博, 二木 厚吉, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (85.5KB) |
| 大会名称 |
|---|
| 2002年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2002 |
| 発行日 |
| 2002/09/13 |
| セッション番号 |
| 1C |
| セッション名 |
| プログラムの理論 |
| 講演日 |
| 2002/09/25 |
| 講演場所(会議室等) |
| 西３号館W321講義室 |
| 講演番号 |
| B-2 |
| タイトル |
| 代数仕様言語CafeOBJにおけるモデル検査 |
| 著者名 |
| 中野 昌弘, 中村 正樹, 緒方 和博, 二木 厚吉, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (85.5KB) |