{"created":"2023-07-27T06:50:47.442558+00:00","id":43896,"links":{},"metadata":{"_buckets":{"deposit":"029317a4-873d-42d8-b19c-79d88ffce83f"},"_deposit":{"created_by":73,"id":"43896","owners":[73],"pid":{"revision_id":0,"type":"depid","value":"43896"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00043896","sets":["2882:2922:2923:2924"]},"author_link":[],"item_14_biblio_info_13":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographic_titles":[{"bibliographic_title":"博士論文　要旨Abstract/本文Full"}]}]},"item_14_date_granted_9":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2017-03-22"}]},"item_14_degree_grantor_11":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"金沢大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"13301","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_14_degree_name_10":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（工学）"}]},"item_14_description_27":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"博士論文　要旨Abstract/本文Full","subitem_description_type":"Other"}]},"item_14_dissertation_number_8":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第4547号"}]},"item_14_text_2":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"動的線形ハイブリッドオートマタとその動的再構成可能組込みシステムの形式検証への応用"}]},"item_14_version_type_30":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"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"}]},{"creatorNames":[{"creatorName":"Yanase, Ryo","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-27"}],"displaytype":"detail","filename":"Full-N-1323112012-yanase-ryo.pdf","filesize":[{"value":"3.3 MB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"Full-N-1323112012-yanase-ryo.pdf","objectType":"fulltext","url":"https://kanazawa-u.repo.nii.ac.jp/record/43896/files/Full-N-1323112012-yanase-ryo.pdf"},"version_id":"e92dadc0-02eb-411a-a6a1-8159615586af"},{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2025-08-28"}],"displaytype":"detail","filename":"Abstract-N-1323112012-yanase-ryo.pdf","filesize":[{"value":"317.8 KB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"objectType":"summary","url":"https://kanazawa-u.repo.nii.ac.jp/record/43896/files/Abstract-N-1323112012-yanase-ryo.pdf"},"version_id":"43864def-7ec6-444b-8b3f-670bf439d638"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems","subitem_title_language":"en"}]},"item_type_id":"14","owner":"73","path":["2924"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2018-02-27"},"publish_date":"2018-02-27","publish_status":"0","recid":"43896","relation_version_is_last":true,"title":["Dynamic Linear Hybrid Automata and Their Applications to Formal Verification of Dynamic Reconfigurable Embedded Systems"],"weko_creator_id":"73","weko_shared_id":-1},"updated":"2025-08-28T04:38:43.252227+00:00"}