{"created":"2025-01-19T00:17:25.743250+00:00","updated":"2025-01-20T20:31:12.314750+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00139604","sets":["6504:8197:8199"]},"path":["8199"],"owner":"1","recid":"139604","title":["状態遷移表モデル検査ツールGarakabu2の設計と開発"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-03-08"},"_buckets":{"deposit":"d1a1bf16-fb22-464d-9810-6c41d56e147b"},"_deposit":{"id":"139604","pid":{"type":"depid","value":"139604","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"状態遷移表モデル検査ツールGarakabu2の設計と開発","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"状態遷移表モデル検査ツールGarakabu2の設計と開発"},{"subitem_title":"Design and development of state transition matrix model checking tool Garakabu2.","subitem_title_language":"en"}]},"item_type_id":"22","publish_date":"2010-03-08","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"福岡県産業・科学技術振興財団"},{"subitem_text_value":"福岡県産業・科学技術振興財団"},{"subitem_text_value":"キャッツ株式会社"},{"subitem_text_value":"宮崎大学工学部情報システム工学科"},{"subitem_text_value":"九州大学大学院システム情報科学研究院"},{"subitem_text_value":"福岡県産業・科学技術振興財団"},{"subitem_text_value":"福岡県産業・科学技術振興財団"},{"subitem_text_value":"キャッツ株式会社"}]},"item_22_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Fukuoka Industry, Science & Technology Foundation","subitem_text_language":"en"},{"subitem_text_value":"Fukuoka Industry, Science & Technology Foundation","subitem_text_language":"en"},{"subitem_text_value":"CATS Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science and Systems Engineering, Faculty of Engineering, Miyazaki University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"Fukuoka Industry, Science & Technology Foundation","subitem_text_language":"en"},{"subitem_text_value":"Fukuoka Industry, Science & Technology Foundation","subitem_text_language":"en"},{"subitem_text_value":"CATS Co., Ltd.","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/139604/files/KJ00006870503.pdf"},"date":[{"dateType":"Available","dateValue":"2010-03-08"}],"format":"application/pdf","filename":"KJ00006870503.pdf","filesize":[{"value":"212.7 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"fe8d6465-b438-4b55-8d47-a2523a983497","displaytype":"detail","licensetype":"license_note"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"284\n","bibliographic_titles":[{"bibliographic_title":"全国大会講演論文集"}],"bibliographicPageStart":"283","bibliographicIssueDates":{"bibliographicIssueDate":"2010-03-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"ソフトウェア科学・工学","bibliographicVolumeNumber":"第72回"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":139604,"links":{}}