WEKO3
インデックスリンク
アイテム
{"_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": ["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": [{"nameIdentifier": "13257", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Tatsunori"}], "nameIdentifiers": [{"nameIdentifier": "13258", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Makoto"}], "nameIdentifiers": [{"nameIdentifier": "13259", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Yamane, Satoshi"}], "nameIdentifiers": [{"nameIdentifier": "397", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "70263506", "nameIdentifierScheme": "金沢大学研究者情報", "nameIdentifierURI": "http://ridb.kanazawa-u.ac.jp/public/detail.php?kaken=70263506"}, {"nameIdentifier": "70263506", "nameIdentifierScheme": "研究者番号", "nameIdentifierURI": "https://nrid.nii.ac.jp/nrid/1000070263506"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-10-03"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "TE-PR-YANASE-R-71.pdf", "filesize": [{"value": "489.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 489300.0, "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"], "permalink_uri": "http://hdl.handle.net/2297/45586", "pubdate": {"attribute_name": "公開日", "attribute_value": "2017-10-03"}, "publish_date": "2017-10-03", "publish_status": "0", "recid": "9248", "relation": {}, "relation_version_is_last": true, "title": ["Formal verification of dynamically reconfigurable systems"], "weko_shared_id": -1}
Formal verification of dynamically reconfigurable systems
http://hdl.handle.net/2297/45586
http://hdl.handle.net/2297/45586701fccec-193c-4d99-9b7b-8101cb9d8973
名前 / ファイル | ライセンス | アクション |
---|---|---|
TE-PR-YANASE-R-71.pdf (489.3 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2017-10-03 | |||||
タイトル | ||||||
タイトル | Formal verification of dynamically reconfigurable systems | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
Yanase, Ryo
× Yanase, Ryo× Sakai, Tatsunori× Sakai, Makoto× Yamane, Satoshi |
|||||
書誌情報 |
2015 IEEE 4th Global Conference on Consumer Electronics 巻 GCCE 2015, 号 7398597, p. 71-75, 発行日 2016-02-03 |
|||||
ISBN | ||||||
識別子タイプ | ISBN | |||||
関連識別子 | 978-147998751-1 | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | 10.1109/GCCE.2015.7398597 | |||||
出版者 | ||||||
出版者 | Institute of Electrical and Electronics Engineers Inc. | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 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. | |||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa |