WEKO3
アイテム
{"_buckets": {"deposit": "3b079e18-2668-480b-9492-6d73a9fb9317"}, "_deposit": {"id": "15919", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "15919"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00015919", "sets": ["734"]}, "author_link": ["48118"], "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-03-25", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_64": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2013-03-25"}]}, "item_12_degree_grantor_62": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "名古屋大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "Nagoya University"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "13901", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_61": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(情報科学)", "subitem_degreename_language": "ja"}]}, "item_12_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成25年3月25日", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "item_12_dissertation_number_65": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第10101号"}]}, "item_12_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/17949"}]}, "item_12_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_12_text_63": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_text_value": "2012"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "金, 周慧", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "48118", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "k10101.pdf", "filesize": [{"value": "2.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 2300000.0, "url": {"label": "k10101.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/15919/files/k10101.pdf"}, "version_id": "226d18fe-b770-4109-b0de-b1350c33f1a1"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "組込みシステムにおける状態遷移図に基づく安全分析手法", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "組込みシステムにおける状態遷移図に基づく安全分析手法", "subitem_title_language": "ja"}]}, "item_type_id": "12", "owner": "1", "path": ["734"], "permalink_uri": "http://hdl.handle.net/2237/17949", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2013-05-09"}, "publish_date": "2013-05-09", "publish_status": "0", "recid": "15919", "relation": {}, "relation_version_is_last": true, "title": ["組込みシステムにおける状態遷移図に基づく安全分析手法"], "weko_shared_id": -1}
組込みシステムにおける状態遷移図に基づく安全分析手法
http://hdl.handle.net/2237/17949
http://hdl.handle.net/2237/1794959595667-214c-4c0f-a4cf-fee4a6110d25
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-05-09 | |||||
タイトル | ||||||
タイトル | 組込みシステムにおける状態遷移図に基づく安全分析手法 | |||||
言語 | ja | |||||
著者 |
金, 周慧
× 金, 周慧 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
内容記述 | ||||||
内容記述 | 名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成25年3月25日 | |||||
言語 | ja | |||||
内容記述タイプ | Other | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
書誌情報 |
発行日 2013-03-25 |
|||||
学位名 | ||||||
言語 | ja | |||||
学位名 | 博士(情報科学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 13901 | |||||
言語 | ja | |||||
学位授与機関名 | 名古屋大学 | |||||
言語 | en | |||||
学位授与機関名 | Nagoya University | |||||
学位授与年度 | ||||||
学位授与年度 | 2012 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2013-03-25 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第10101号 | |||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/17949 | |||||
識別子タイプ | HDL |