Research on Formal Verification and Program Segment Testing for Software Reliability
アクセス数 : 5 件
ダウンロード数 : 6 件
今月のアクセス数 : 5 件
今月のダウンロード数 : 6 件
この文献の参照には次のURLをご利用ください : https://ir.lib.hiroshima-u.ac.jp/00056018
| ファイル情報(添付) | |
| ファイル情報(添付) | |
| ファイル情報(添付) | |
| タイトル ( eng ) |
Research on Formal Verification and Program Segment Testing for Software Reliability
|
| タイトル ( jpn ) |
ソフトウェア信頼性のための形式検証とプログラムセグメントテストに関する研究
|
| 作成者 |
饒 磊
|
| 言語 |
英語
|
| 資源タイプ | 博士論文 |
| アクセス権 | オープンアクセス |
| 学位授与番号 | 甲第9633号 |
| 学位名 | |
| 学位授与年月日 | 2024-09-03 |
| 学位授与機関 |
広島大学
Hiroshima University
|
