{"created":"2023-07-27T06:58:22.421014+00:00","id":56597,"links":{},"metadata":{"_buckets":{"deposit":"ccf5680d-a3bd-42bc-94d0-bff6638b152e"},"_deposit":{"created_by":17,"id":"56597","owners":[17],"pid":{"revision_id":0,"type":"depid","value":"56597"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00056597","sets":["2882:2922:2928:3897"]},"author_link":["99216","99215"],"item_14_biblio_info_13":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographic_titles":[{"bibliographic_title":"博士論文要旨Abstract"}]}]},"item_14_creator_38":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"WU, YAJUN"}],"nameIdentifiers":[{"nameIdentifier":"99216","nameIdentifierScheme":"WEKO"}]}]},"item_14_date_granted_9":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2021-03-22"}]},"item_14_degree_grantor_11":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"金沢大学"}]}]},"item_14_degree_name_10":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(工学)"}]},"item_14_description_27":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"博士論文要旨Abstract 以下に掲載：IEICE Trans. Information and Systems Vol.E103-D No.4 pp.800-812 2020.IEICE. 共著者：Yajun WU, Satoshi YAMANE ","subitem_description_type":"Other"}]},"item_14_dissertation_number_8":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"13301甲第5331号"}]},"item_14_relation_17":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1587/transinf.2019EDP7172","subitem_relation_type_select":"DOI"}}]},"item_14_relation_33":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"http://hdl.handle.net/2297/0062872"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://hdl.handle.net/2297/0062872","subitem_relation_type_select":"HDL"}}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"呉, 亜軍"}],"nameIdentifiers":[{"nameIdentifier":"99215","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2021-07-09"}],"displaytype":"detail","filename":"Abstract-N-1824042003-WU-YAJUN.pdf","filesize":[{"value":"2.7 MB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"Abstract-N-1824042003-WU-YAJUN.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/56597/files/Abstract-N-1824042003-WU-YAJUN.pdf"},"version_id":"bdb0f790-841f-4990-99ab-76a0cff0d90f"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"モデル検査手法を用いた組込みアセンブリプログラムのリアルタイム性の形式的検証","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"モデル検査手法を用いた組込みアセンブリプログラムのリアルタイム性の形式的検証"},{"subitem_title":"Formal Verification of Real-Time Properties for Embedded Assembly Program Using Model Checking","subitem_title_language":"en"}]},"item_type_id":"14","owner":"17","path":["3897"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-07-09"},"publish_date":"2021-07-09","publish_status":"0","recid":"56597","relation_version_is_last":true,"title":["モデル検査手法を用いた組込みアセンブリプログラムのリアルタイム性の形式的検証"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2024-07-01T07:45:24.136121+00:00"}