{"created":"2023-07-27T06:25:48.068514+00:00","id":9248,"links":{},"metadata":{"_buckets":{"deposit":"62716065-db12-4739-b7d6-c3a6b86ce4e9"},"_deposit":{"created_by":3,"id":"9248","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"9248"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00009248","sets":["934:935:936"]},"author_link":["13257","397","13258","13259"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2016-02-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7398597","bibliographicPageEnd":"75","bibliographicPageStart":"71","bibliographicVolumeNumber":"GCCE 2015","bibliographic_titles":[{"bibliographic_title":"2015 IEEE 4th Global Conference on Consumer Electronics"}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"A dynamically reconfigurable system can perform complicated operations with dynamically changing the configuration. For ensuring the safety of the system, a model checking is one of the efficient formal approach. In our work, we define the specification language of a dynamically reconfigurable system and propose the model checking algorithm of verifying safety properties. © 2015 IEEE.","subitem_description_type":"Abstract"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Institute of Electrical and Electronics Engineers Inc."}]},"item_4_relation_10":{"attribute_name":"ISBN","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"978-147998751-1","subitem_relation_type_select":"ISBN"}}]},"item_4_relation_12":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.1109/GCCE.2015.7398597","subitem_relation_type_select":"DOI"}}]},"item_4_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yanase, Ryo"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Sakai, Tatsunori"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Sakai, Makoto"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yamane, Satoshi"}],"nameIdentifiers":[{},{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-03"}],"displaytype":"detail","filename":"TE-PR-YANASE-R-71.pdf","filesize":[{"value":"489.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TE-PR-YANASE-R-71.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/9248/files/TE-PR-YANASE-R-71.pdf"},"version_id":"bf708dec-76e2-4bb7-8df7-1af60abd7e3a"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Formal verification of dynamically reconfigurable systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Formal verification of dynamically reconfigurable systems"}]},"item_type_id":"4","owner":"3","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-10-03"},"publish_date":"2017-10-03","publish_status":"0","recid":"9248","relation_version_is_last":true,"title":["Formal verification of dynamically reconfigurable systems"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-28T01:57:11.648167+00:00"}