ログイン 新規登録
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 72回
  3. アーキテクチャ

上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証

https://ipsj.ixsq.nii.ac.jp/records/139540
https://ipsj.ixsq.nii.ac.jp/records/139540
432a0119-0671-4a4e-a558-9ee216f62eea
名前 / ファイル ライセンス アクション
KJ00006870437.pdf KJ00006870437.pdf (211.4 kB)
Item type National Convention(1)
公開日 2010-03-08
タイトル
タイトル 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証
タイトル
言語 en
タイトル Design and Verification for A Self-Testing BusArbiter Circuit using Meta Description Language with Model Checker : Melasy+ and NuSMV
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
信州大学工学部
著者所属
信州大学大学院工学系研究科
著者所属
信州大学工学部
著者所属(英)
en
Faculty of Engineering, Shinshu University
著者所属(英)
en
Graduate School of Science and Technology, Shinshu University
著者所属(英)
en
Faculty of Engineering, Shinshu University
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第72回, 号 アーキテクチャ, p. 151-152, 発行日 2010-03-08
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 20:32:40.217412
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