ログイン 新規登録
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

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

モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成

https://ipsj.ixsq.nii.ac.jp/records/138385
https://ipsj.ixsq.nii.ac.jp/records/138385
c1d805a3-e778-497f-9c2e-e7521d587057
名前 / ファイル ライセンス アクション
KJ00005922187.pdf KJ00005922187.pdf (185.7 kB)
Item type National Convention(1)
公開日 2009-03-10
タイトル
タイトル モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成
タイトル
言語 en
タイトル A Meta Hardware Description Language Melasy for Model-Checking Systems and its VHDL Code Generation
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
信州大学工学部情報工学科
著者所属
信州大学大学院工学系研究科
著者所属
信州大学大学院工学系研究科
著者所属(英)
en
Dept. of Information Engineering, Faculty of Engineering, Shinshu University
著者所属(英)
en
Graduate School of Science and Technology, Shinshu University
著者所属(英)
en
Graduate School of Science and Technology, Shinshu University
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第71回, 号 アーキテクチャ, p. 171-172, 発行日 2009-03-10
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 21:00:26.396056
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