WEKO3
アイテム
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書
http://hdl.handle.net/10061/4863
http://hdl.handle.net/10061/4863131bf6a2-a73e-43da-8773-624668d900e4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
fulltext (253.1 kB)
|
|
| アイテムタイプ | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-11-21 | |||||
| タイトル | ||||||
| タイトル | 無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書 | |||||
| タイトル | ||||||
| タイトル | ムゲン ジョウタイ モデルケンサ オ モチイタ コウシンライセイ ソフトウェア ノ ジドウ ケンショウ ニ カンスルケンキュウ | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 形式的検証 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル検査 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 静的解析 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 形式言語 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | アクセス制御 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | セキュリティ | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 実行履歴 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | XML | |||||
| 資源タイプ | ||||||
| 資源タイプ | research report | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| 著者 |
関, 浩之
× 関, 浩之 |
|||||
| 書誌情報 |
発行日 2008 |
|||||
| 出版者 | ||||||
| 出版者 | 奈良先端科学技術大学院大学 | |||||
| 科研費番号 | ||||||
| 値 | 18500023 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 電子化ID | ||||||
| 値 | R006378 | |||||
