WEKO3
アイテム
形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書
http://hdl.handle.net/10061/8844
http://hdl.handle.net/10061/8844065cd2fb-293e-4d4f-b7a4-b9114d189a6b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
fulltext (19.7 kB)
|
|
| アイテムタイプ | 研究報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2013-09-02 | |||||
| タイトル | ||||||
| タイトル | 形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ソフトウェア検証 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 形式言語理論 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | モデル検査 | |||||
| 資源タイプ | ||||||
| 資源タイプ | research report | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| 著者 |
関, 浩之
× 関, 浩之 |
|||||
| 書誌情報 |
発行日 2012 |
|||||
| 出版者 | ||||||
| 出版者 | 奈良先端科学技術大学院大学 | |||||
| 科研費番号 | ||||||
| 値 | 23300008 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 電子化ID | ||||||
| 値 | R010173 | |||||
