ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. FIT
  2. 2011
  3. 情報科学技術フォーラム講演論文集
  4. 10
  5. 1

B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)

https://ipsj.ixsq.nii.ac.jp/records/150593
https://ipsj.ixsq.nii.ac.jp/records/150593
46ba8764-5a53-4214-abcb-2152e0d1f80b
名前 / ファイル ライセンス アクション
KJ00008742999.pdf 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
著者名 阿部, 雄貴

× 阿部, 雄貴

阿部, 雄貴

Search repository
鈴木, 大輝

× 鈴木, 大輝

鈴木, 大輝

Search repository
和泉, 諭

× 和泉, 諭

和泉, 諭

Search repository
小林, 秀幸

× 小林, 秀幸

小林, 秀幸

Search repository
高橋, 薫

× 高橋, 薫

高橋, 薫

Search repository
著者名(英) Abe, Yuki

× Abe, Yuki

en Abe, Yuki

Search repository
Suzuki, Daiki

× Suzuki, Daiki

en Suzuki, Daiki

Search repository
Izumi, Satoru

× Izumi, Satoru

en Izumi, Satoru

Search repository
Kobayashi, Hideyuki

× Kobayashi, Hideyuki

en Kobayashi, Hideyuki

Search repository
Takahashi, Kaoru

× Takahashi, Kaoru

en Takahashi, Kaoru

Search repository
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA1242354X
書誌情報 情報科学技術フォーラム講演論文集

巻 10, 号 1, p. 251-252, 発行日 2011-09-07
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 16:20:36.038396
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3