大会名称
2011年 情報科学技術フォーラム(FIT)
大会コ－ド
F
開催年
2011
発行日
2011/8/22
セッション番号
1B
セッション名
テスト・検証
講演日
2011/09/07
講演場所(会議室等)
函館大学 2F 205
講演番号
B-005
タイトル
モデル検査ツールNuSMVを用いたオントロジー検証
著者名
阿部　雄貴, 鈴木　大輝, 和泉　諭, 小林　秀幸, 高橋　薫, 
キーワード
抄録
本文pdf
PDF download (516.1KB)