WEKO3
アイテム
情報流解析による安全性検証に基づく実用的なソフトウェア開発支援
https://nanzan-u.repo.nii.ac.jp/records/4266
https://nanzan-u.repo.nii.ac.jp/records/42664f85004a-a2dd-448c-8422-a832107f55d5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 (87.8 kB)
|
.png)
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2022-11-29 | |||||
| タイトル | ||||||
| タイトル | 情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | Practical Software Development Support based on Safety Verification using Information Flow Analysis | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| 研究代表者 |
桒原, 寛明
× 桒原, 寛明× KUWABARA, Hiroaki |
|||||
| 書誌情報 |
ja : 科学研究費助成事業 研究成果報告書 p. [1]-[8], 発行日 2021-05-26 |
|||||
| 出版者 | ||||||
| 出版者 | 南山大学 | |||||
| 言語 | ja | |||||
| 報告年度 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 2020 | |||||
| 言語 | ja | |||||
| 研究課題番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 17K12666 (科研費) | |||||
| 言語 | ja | |||||
| 研究課題名 | ||||||
| タイトル | 情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 | |||||
| 言語 | ja | |||||
| 研究代表者番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 30432222 (科研費) | |||||
| 言語 | ja | |||||
| 研究機関 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 南山大学 | |||||
| 言語 | ja | |||||
| 研究機関ID | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 33917 (科研費) | |||||
| 言語 | ja | |||||
| 助成元 | ||||||
| 言語 | ja | |||||
| 値 | 日本学術振興会 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 2017～2020年度科学研究費助成事業 (若手研究(B)) 研究成果報告書 |
|||||
| 言語 | ja | |||||
| 関連サイト | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17K12666/ | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
