{"created":"2023-07-27T06:25:46.951721+00:00","id":9222,"links":{},"metadata":{"_buckets":{"deposit":"1cb9376c-5b7d-4843-bbdc-828b7d4c99d2"},"_deposit":{"created_by":3,"id":"9222","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"9222"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00009222","sets":["934:935:936"]},"author_link":["13204","397"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-01-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7009336","bibliographicPageEnd":"491","bibliographicPageStart":"482","bibliographic_titles":[{"bibliographic_title":"2014 2nd International Conference on Systems and Informatics, ICSAI 2014"}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"In this paper, we present an efficient verification method for probabilistic timed automaton. This method based on predicate abstractions and refinements realizes effective automated verifications for real-time and probabilistic embedded systems.","subitem_description_type":"Abstract"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Institute of Electrical and Electronics Engineers"}]},"item_4_relation_10":{"attribute_name":"ISBN","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"978-147995458-2","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/ICSAI.2014.7009336","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":"Yamane, Satoshi"}],"nameIdentifiers":[{},{},{}]},{"creatorNames":[{"creatorName":"Shimizu, Takaya"}],"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-YAMANE-S-482.pdf","filesize":[{"value":"302.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TE-PR-YAMANE-S-482.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/9222/files/TE-PR-YAMANE-S-482.pdf"},"version_id":"420f5b88-ac4e-4387-9428-bd24e9892788"}]},"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":"Development of probabilistic timed CEGAR","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Development of probabilistic timed CEGAR"}]},"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":"9222","relation_version_is_last":true,"title":["Development of probabilistic timed CEGAR"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-28T01:57:27.043006+00:00"}