WEKO3
インデックスリンク
アイテム
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 | |||||
