ギロンガク オ オウヨウシタ ソフトウェア インテグリティ レベル ノ テイアン
研究代表者高井利憲
[生駒] : [奈良先端科学技術大学院大学], 2015-2017
In-house publ.
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
R012900 |
|
|
|
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
R013864 |
|
|
|
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
R014988 |
|
|
|
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
R015194 |
|
|
|
2015-2017
Defining software integrity levels using argumentation theory
学術研究助成基金助成金実施状況報告書
学術研究助成基金助成金(基盤研究(C))実施状況報告書
平成27年度学術研究助成基金助成金(基盤研究(C))実施状況報告書
平成28年度学術研究助成基金助成金(基盤研究(C))実施状況報告書
平成29年度学術研究助成基金助成金(基盤研究(C))実施状況報告書
平成27-29年度学術研究助成基金助成金(基盤研究(C))成果報告書
課題番号: 15K00100
Japan
Japanese (jpn)
Japanese (jpn)
高井, 利憲 (タカイ, トシノリ )
KAKEN : 15K00100
