WEKO3
アイテム
C言語ベースのシステムレベル設計ツールの試作-設計詳細化フローにおける形式的等価性検証機能とその適用-
https://ipsj.ixsq.nii.ac.jp/records/172952
https://ipsj.ixsq.nii.ac.jp/records/17295290c8e7f6-0996-4f49-bd3b-fbef22b64ed4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z69-2A-04.pdf (278.8 kB)
|
Copyright (c) 2007 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | National Convention(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2007-03-07 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | C言語ベースのシステムレベル設計ツールの試作-設計詳細化フローにおける形式的等価性検証機能とその適用- | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | アーキテクチャ | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者名 |
西原, 雄次
× 西原, 雄次
× 山本, 徹也
× 小池, 輝昌
× 辻, 政信
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||
| 書誌情報 |
第69回全国大会講演論文集 巻 2007, 号 1, p. 21-22, 発行日 2007-03-06 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
