WEKO3
インデックスリンク
アイテム
実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価(Development and Evaluation of Symbolic Model-Checker Based on Approximation for Real-Time Systems)
http://hdl.handle.net/2297/6997
http://hdl.handle.net/2297/699791eb3913-bf4f-45cd-b08a-0ca4fd605a37
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
j86-d1_4_232.pdf (780.2 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価(Development and Evaluation of Symbolic Model-Checker Based on Approximation for Real-Time Systems) | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
山根, 智
× 山根, 智× 中村, 一博 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 大学院自然科学研究科知能情報・数理 | |||||
| 書誌情報 |
電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 巻 86-D, 号 4, p. 232-247, 発行日 2003-04-01 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0916-8532 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA10826272 | |||||
| 権利 | ||||||
| 権利情報 | 電子情報通信学会の許諾を得て登録 | |||||
| 権利 | ||||||
| 権利情報 | copyright© 2003 IEICE 許諾番号07RB0167 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://search.ieice.org/ | |||||
