WEKO3
アイテム
B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/150593
https://ipsj.ixsq.nii.ac.jp/records/15059346ba8764-5a53-4214-abcb-2152e0d1f80b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00008742999.pdf (527.8 kB)
|
Copyright (c) 2011 by IEICE,IPSJ
|
| 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
× Abe, Yuki
× Suzuki, Daiki
× Izumi, Satoru
× Kobayashi, Hideyuki
× Takahashi, Kaoru
|
|||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AA1242354X | |||||||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 10, 号 1, p. 251-252, 発行日 2011-09-07 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
