ログイン 新規登録
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. FIT
  2. 2007
  3. 情報科学技術フォーラム一般講演論文集
  4. 6
  5. 1

A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)

https://ipsj.ixsq.nii.ac.jp/records/156912
https://ipsj.ixsq.nii.ac.jp/records/156912
37c925c6-01e2-48c2-9477-20d6d8ff9670
名前 / ファイル ライセンス アクション
KJ00006542312.pdf KJ00006542312.pdf (400.8 kB)
Copyright (c) 2007 by IEICE,IPSJ
Item type FIT(1)
公開日 2007-08-22
タイトル
タイトル A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)
タイトル
言語 en
タイトル A-031 A Meta Hardware Description Language "Melasy" for Model Checking system
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
信州大学大学院工学系研究科
著者所属
信州大学大学院工学系研究科
著者名 岩崎, 直木

× 岩崎, 直木

岩崎, 直木

Search repository
和崎, 克己

× 和崎, 克己

和崎, 克己

Search repository
著者名(英) Iwasaki, Naoki

× Iwasaki, Naoki

en Iwasaki, Naoki

Search repository
Wasaki, Katsumi

× Wasaki, Katsumi

en Wasaki, Katsumi

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

巻 6, 号 1, p. 71-74, 発行日 2007-08-22
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 13:34:37.743294
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