WEKO3
アイテム
ソフトウェア信頼性のための形式検証とプログラムセグメントテストに関する研究
https://hiroshima.repo.nii.ac.jp/records/2005773
https://hiroshima.repo.nii.ac.jp/records/2005773329966d5-a47e-4a60-9a35-a5aa2634aa8e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
k9633_1.pdf (438.2 KB)
|
||
|
k9633_2.pdf (315.1 KB)
|
||
|
k9633_3.pdf (2.9 MB)
|
| Item type | デフォルトアイテムタイプ_（フル）(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-01-09 | |||||||||
| タイトル | ||||||||||
| タイトル | Research on Formal Verification and Program Segment Testing for Software Reliability | |||||||||
| 言語 | en | |||||||||
| タイトル | ||||||||||
| タイトル | ソフトウェア信頼性のための形式検証とプログラムセグメントテストに関する研究 | |||||||||
| 言語 | ja | |||||||||
| 作成者 |
饒, 磊
× 饒, 磊
|
|||||||||
| アクセス権 | ||||||||||
| アクセス権 | open access | |||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||||
| 資源タイプ | doctoral thesis | |||||||||
| 学位授与番号 | ||||||||||
| 学位授与番号 | 甲第9633号 | |||||||||
| 学位名 | ||||||||||
| 言語 | ja | |||||||||
| 学位名 | 博士(情報科学) | |||||||||
| 学位名 | ||||||||||
| 言語 | en | |||||||||
| 学位名 | Doctor of Philosophy in Informatics and Data Science | |||||||||
| 学位授与年月日 | ||||||||||
| 学位授与年月日 | 2024-09-03 | |||||||||
| 学位授与機関 | ||||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||||
| 学位授与機関識別子 | 15401 | |||||||||
| 言語 | ja | |||||||||
| 学位授与機関名 | 広島大学 | |||||||||
| 学位授与機関 | ||||||||||
| 言語 | en | |||||||||
| 学位授与機関名 | Hiroshima University | |||||||||
| 旧ID | 56018 | |||||||||
