{"created":"2023-07-27T06:50:26.861584+00:00","id":43283,"links":{},"metadata":{"_buckets":{"deposit":"791cb206-7b87-4014-bcec-8753425c32b8"},"_deposit":{"created_by":18,"id":"43283","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"43283"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00043283","sets":["934:935:936"]},"author_link":["69841","69842"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-09-30","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"87","bibliographicPageStart":"81","bibliographicVolumeNumber":"25","bibliographic_titles":[{"bibliographic_title":"Computer Software"}]}]},"item_4_creator_33":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山根, 智"}],"nameIdentifiers":[{}]}]},"item_4_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報学系  ","subitem_description_type":"Other"}]},"item_4_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24517/00049630","subitem_identifier_reg_type":"JaLC"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"日本ソフトウェア科学会 = Japan Society for Software Science and Technology"}]},"item_4_relation_12":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.11309/jssst.25.3_81","subitem_relation_type_select":"DOI"}}]},"item_4_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://www.jstage.jst.go.jp/browse/jssst/-char/ja/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://www.jstage.jst.go.jp/browse/jssst/-char/ja/","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"http://www.jssst.or.jp/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.jssst.or.jp/","subitem_relation_type_select":"URI"}}]},"item_4_rights_23":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright © 日本ソフトウェア科学会 Japan Society for Software Science and Technology 2008"}]},"item_4_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AN10075819","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0289-6540","subitem_source_identifier_type":"ISSN"}]},"item_4_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yamane, Satoshi"}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-12-28"}],"displaytype":"detail","filename":"TE-PR-YAMANE-S-81.pdf","filesize":[{"value":"444.3 kB"}],"format":"application/pdf","licensetype":"license_6","mimetype":"application/pdf","url":{"label":"TE-PR-YAMANE-S-81.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/43283/files/TE-PR-YAMANE-S-81.pdf"},"version_id":"e4859031-e5d5-496f-bcff-fa005f15aadb"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"リアルタイムシステムの形式的手法とその検証ツール","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"リアルタイムシステムの形式的手法とその検証ツール"},{"subitem_title":"Formal Methods and Verification Tools for Real-Time Systems","subitem_title_language":"en"}]},"item_type_id":"4","owner":"18","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-12-28"},"publish_date":"2017-12-28","publish_status":"0","recid":"43283","relation_version_is_last":true,"title":["リアルタイムシステムの形式的手法とその検証ツール"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-07-27T17:43:55.027662+00:00"}