| 大会名称 |
|---|
| 2007年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2007 |
| 発行日 |
| 2007/8/22 |
| セッション番号 |
| 4B |
| セッション名 |
| 要求分析 |
| 講演日 |
| 2007/09/06 |
| 講演場所(会議室等) |
| B会場（21号館2階 2121教室） |
| 講演番号 |
| B-018 |
| タイトル |
| エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法 |
| 著者名 |
| 楊 洋, 織田 健, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (84KB) |
| 大会名称 |
|---|
| 2007年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2007 |
| 発行日 |
| 2007/8/22 |
| セッション番号 |
| 4B |
| セッション名 |
| 要求分析 |
| 講演日 |
| 2007/09/06 |
| 講演場所(会議室等) |
| B会場（21号館2階 2121教室） |
| 講演番号 |
| B-018 |
| タイトル |
| エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法 |
| 著者名 |
| 楊 洋, 織田 健, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (84KB) |