{"created":"2021-03-01T07:13:16.593130+00:00","id":34429,"links":{},"metadata":{"_buckets":{"deposit":"e43ff617-1cf7-48ad-8390-34e14c1a2abd"},"_deposit":{"created_by":188,"id":"34429","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"34429"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00034429","sets":["3:62:5617:1403","469:777"]},"author_link":["116768","116769","116771"],"item_1644910766877":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_5_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-07-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7","bibliographicPageEnd":"1164","bibliographicPageStart":"1154","bibliographicVolumeNumber":"93","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D, 情報・システム","bibliographic_titleLang":"ja"},{"bibliographic_title":"The IEICE transactions on information and systems (Japanese edition)","bibliographic_titleLang":"en"}]}]},"item_5_publisher_27":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"},{"subitem_publisher":"The Institute of Electronics, Information and Communication Engineers","subitem_publisher_language":"en"}]},"item_5_relation_39":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"本文データは学協会の許諾に基づきCiNiiから複製したものである"}],"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110007642049","subitem_relation_type_select":"URI"}}]},"item_5_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"一般社団法人電子情報通信学会","subitem_rights_language":"ja"}]},"item_5_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1880-4535","subitem_source_identifier_type":"PISSN"}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12099634","subitem_source_identifier_type":"NCID"}]},"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":[{}]},{"creatorNames":[{"creatorName":"地引, 昌弘","creatorNameLang":"ja"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"久野, 靖","creatorNameLang":"ja"},{"creatorName":"クノ, ヤスシ","creatorNameLang":"ja-Kana"},{"creatorName":"KUNO, Yasushi","creatorNameLang":"en"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"西森, 丈俊","creatorNameLang":"ja"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-07-21"}],"displaytype":"detail","filename":"110007642049.pdf","filesize":[{"value":"1.4 MB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/34429/files/110007642049.pdf"},"version_id":"c3829bb5-6932-4a79-8185-e099eef29a62"}]},"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_language":"ja"},{"subitem_title":"Verification of Dual Redundant Communication Protocols Using Model Checking","subitem_title_language":"en"}]},"item_type_id":"5","owner":"188","path":["777","1403"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-07-21"},"publish_date":"2015-07-21","publish_status":"0","recid":"34429","relation_version_is_last":true,"title":["モデル検査を用いた通信プロトコル二重化の検証(プロトコル,<特集>インターネット技術とその応用論文)"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-02-07T06:12:09.207076+00:00"}