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