WEKO3
アイテム
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度実績報告書
http://hdl.handle.net/10061/3747
http://hdl.handle.net/10061/37470b53b83b-797b-4b54-870d-1895174c5e78
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
fulltext (236.2 kB)
|
|
| アイテムタイプ | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2007-12-19 | |||||
| タイトル | ||||||
| タイトル | 無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度実績報告書 | |||||
| タイトル | ||||||
| タイトル | ムゲン ジョウタイ モデルケンサ オ モチイタ コウシンライセイ ソフトウェア ノ ジドウ ケンショウ ニ カンスルケンキュウ | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ | research report | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| 著者 |
関, 浩之
× 関, 浩之 |
|||||
| 書誌情報 |
発行日 2007 |
|||||
| 出版者 | ||||||
| 出版者 | 奈良先端科学技術大学院大学 | |||||
| 科研費番号 | ||||||
| 値 | 18500023 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 電子化ID | ||||||
| 値 | R005598 | |||||
