大会名称
2004年 情報科学技術フォーラム(FIT)
大会コ－ド
F
開催年
2004
発行日
2004/8/20
セッション番号
3R
セッション名
形式手法
講演日
2004/09/07
講演場所(会議室等)
R会場（知真館1F TC1-124）
講演番号
B-037
タイトル
Zによる仕様記述と状態遷移規則の比較による誤り検出法
著者名
平岡 雅也, 織田 健, 
キーワード
抄録
本文pdf
PDF download (137.3KB)