Item type |
FIT(1) |
公開日 |
2011-09-07 |
タイトル |
|
|
タイトル |
B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア) |
タイトル |
|
|
言語 |
en |
|
タイトル |
B-005 Ontology Verification using the Model Checker NuSMV |
言語 |
|
|
言語 |
jpn |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
著者所属 |
|
|
|
仙台高等専門学校 |
著者所属 |
|
|
|
仙台高等専門学校 |
著者所属 |
|
|
|
東北大学電気通信研究所:情報科学研究科 |
著者所属 |
|
|
|
仙台高等専門学校 |
著者所属 |
|
|
|
仙台高等専門学校 |
著者所属(英) |
|
|
|
en |
|
|
Sendai National College of Technology |
著者所属(英) |
|
|
|
en |
|
|
Sendai National College of Technology |
著者所属(英) |
|
|
|
en |
|
|
Research Institute of Electrical Communication:Graduate School of Information Sciences, Tohoku University |
著者所属(英) |
|
|
|
en |
|
|
Sendai National College of Technology |
著者所属(英) |
|
|
|
en |
|
|
Sendai National College of Technology |
著者名 |
阿部, 雄貴
鈴木, 大輝
和泉, 諭
小林, 秀幸
高橋, 薫
|
著者名(英) |
Abe, Yuki
Suzuki, Daiki
Izumi, Satoru
Kobayashi, Hideyuki
Takahashi, Kaoru
|
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA1242354X |
書誌情報 |
情報科学技術フォーラム講演論文集
巻 10,
号 1,
p. 251-252,
発行日 2011-09-07
|
出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |