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