ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "78e85135-ba69-459b-8e30-3a4efb0987d8"}, "_deposit": {"id": "2448", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "2448"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00002448"}, "item_7_alternative_title_1": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "\u9ad8\u4f4d\u8a2d\u8a08\u306b\u5bfe\u3059\u308b\u5236\u5fa1\u3068\u6f14\u7b97\u306e\u5206\u96e2\u306b\u3088\u308b\u5f62\u5f0f\u7684\u691c\u8a3c"}]}, "item_7_biblio_info_7": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2010-03-24", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u6708\u65e5", "attribute_value_mlt": [{"subitem_dategranted": "2010-03-24"}]}, "item_7_degree_grantor_23": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u6a5f\u95a2", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo (\u6771\u4eac\u5927\u5b66)"}]}]}, "item_7_degree_name_20": {"attribute_name": "\u5b66\u4f4d\u540d", "attribute_value_mlt": [{"subitem_degreename": "\u535a\u58eb(\u5de5\u5b66)"}]}, "item_7_dissertation_number_26": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u756a\u53f7", "attribute_value_mlt": [{"subitem_dissertationnumber": "\u7532\u7b2c25719\u53f7"}]}, "item_7_full_name_3": {"attribute_name": "\u8457\u8005\u5225\u540d", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "6730", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "\u897f\u539f, \u4f51"}]}]}, "item_7_identifier_registration": {"attribute_name": "ID\u767b\u9332", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15083/00002442", "subitem_identifier_reg_type": "JaLC"}]}, "item_7_select_21": {"attribute_name": "\u5b66\u4f4d", "attribute_value_mlt": [{"subitem_select_item": "doctoral"}]}, "item_7_subject_13": {"attribute_name": "\u65e5\u672c\u5341\u9032\u5206\u985e\u6cd5", "attribute_value_mlt": [{"subitem_subject": "549", "subitem_subject_scheme": "NDC"}]}, "item_7_text_22": {"attribute_name": "\u5b66\u4f4d\u5206\u91ce", "attribute_value_mlt": [{"subitem_text_value": "Engineering (\u5de5\u5b66)"}]}, "item_7_text_24": {"attribute_name": "\u7814\u7a76\u79d1\u30fb\u5c02\u653b", "attribute_value_mlt": [{"subitem_text_value": "Department of Electronic Engineering, Graduate School of Engineering (\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u96fb\u5b50\u5de5\u5b66\u5c02\u653b)"}]}, "item_7_text_27": {"attribute_name": "\u5b66\u4f4d\u8a18\u756a\u53f7", "attribute_value_mlt": [{"subitem_text_value": "\u535a\u5de5\u7b2c7252\u53f7"}]}, "item_7_text_36": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "item_7_text_4": {"attribute_name": "\u8457\u8005\u6240\u5c5e", "attribute_value_mlt": [{"subitem_text_value": "\u6771\u4eac\u5927\u5b66\u5927\u5b66\u9662\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1 \u96fb\u5b50\u5de5\u5b66\u5c02\u653b"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Nishihara, Tasuku"}], "nameIdentifiers": [{"nameIdentifier": "6729", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-05-31"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "37077082.pdf", "filesize": [{"value": "1.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1300000.0, "url": {"label": "37077082.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/2448/files/37077082.pdf"}, "version_id": "dba1e7f2-1749-44d1-9f8a-5cad8848c188"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-05-31"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "37077082a.pdf", "filesize": [{"value": "36.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 36800.0, "url": {"label": "37077082a.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/2448/files/37077082a.pdf"}, "version_id": "92254812-dd5d-45c3-bc90-e709e043051f"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "Formal Verification of High-Level Design Based on Control/Data Separation", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Formal Verification of High-Level Design Based on Control/Data Separation"}]}, "item_type_id": "7", "owner": "1", "path": ["9/233/280", "6/260/318"], "permalink_uri": "https://doi.org/10.15083/00002442", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2012-03-01"}, "publish_date": "2012-03-01", "publish_status": "0", "recid": "2448", "relation": {}, "relation_version_is_last": true, "title": ["Formal Verification of High-Level Design Based on Control/Data Separation"], "weko_shared_id": null}
  1. 113 工学系研究科・工学部
  2. 21 電子工学専攻
  3. 1132220 博士論文(電子工学専攻)
  1. 0 資料タイプ別
  2. 20 学位論文
  3. 021 博士論文

Formal Verification of High-Level Design Based on Control/Data Separation

https://doi.org/10.15083/00002442
06b08a57-e186-4883-bd2a-0e0202d8e9f8
名前 / ファイル ライセンス アクション
37077082.pdf 37077082.pdf (1.3 MB)
37077082a.pdf 37077082a.pdf (36.8 kB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2012-03-01
タイトル
タイトル Formal Verification of High-Level Design Based on Control/Data Separation
言語
言語 eng
資源タイプ
資源 http://purl.org/coar/resource_type/c_46ec
タイプ thesis
ID登録
ID登録 10.15083/00002442
ID登録タイプ JaLC
その他のタイトル
その他のタイトル 高位設計に対する制御と演算の分離による形式的検証
著者 Nishihara, Tasuku

× Nishihara, Tasuku

WEKO 6729

Nishihara, Tasuku

Search repository
著者別名
識別子
識別子 6730
識別子Scheme WEKO
姓名
姓名 西原, 佑
著者所属
著者所属 東京大学大学院工学系研究科 電子工学専攻
書誌情報 発行日 2010-03-24
日本十進分類法
主題 549
主題Scheme NDC
学位名
学位名 博士(工学)
学位
値 doctoral
学位分野
Engineering (工学)
学位授与機関
学位授与機関名
学位授与機関名 University of Tokyo (東京大学)
研究科・専攻
Department of Electronic Engineering, Graduate School of Engineering (工学系研究科電子工学専攻)
学位授与年月日
学位授与年月日 2010-03-24
学位授与番号
学位授与番号 甲第25719号
学位記番号
博工第7252号
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 19:59:57.444240
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

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

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio